[TYPES/announce] 1st Announcement: QCOMICAL School 2025 on Quantum and Classical Programming Languages and Semantics

[Alejandro Díaz-Caro]

==========================================================

QCOMICAL School 2025

3-7 November 2025, Nancy, France

https://urldefense.com/v3/__https://qcomical2025.github.io__;!!IBzWLUs!T-mMhBcnAHRSOlO-M80q7gImLmHER9V5zR4owzPC-KIX3L7VU1rImcRAgT7PtyaVMceciJZcyPgWE4z0dcF4WhYtVN_zpyNq1q-Z00I$ 

==========================================================

BACKGROUND:

The first QCOMICAL School provides a range of intensive courses and
tutorials covering quantum computing and classical computing, with a focus
on programming language theory and formal semantics. These courses are
delivered by leading researchers from the EU-funded QCOMICAL project (Marie
Skłodowska-Curie Staff Exchanges).

COURSES:

– Tutorial: Introduction to Quantum Computing — Simon Perdrix (Inria /
LORIA)
– Tutorial: Introduction to ZX Calculus — Miriam Backens (Inria / LORIA)
– Quantum Programming Languages — Benoît Valiron (CentraleSupélec)
– Quantum Linear Optics — Timothée Goubault de Brugière (Quandela)
– Realisability — Emmanuel Beffara (Université Grenoble Alpes)
– Concurrency — Michele Pinna (Università degli Studi di Cagliari)
– Quantitative Types — Pablo Barenbaum (Universidad de Buenos Aires)

REGISTRATION:

* Opens September 2025.
* Free of charge; seats allocated on a first-come, first-served basis.
* Coffee breaks are included. Travel, accommodation, and lunches are at
participants’ expense.
* The registration form and practical details (travel, visas,
accommodation) will appear on the website when registration opens.

ORGANISING COMMITTEE:

– Kostia Chardonnet (Inria / LORIA)
– Alejandro Díaz-Caro (Chair, Inria / LORIA & UNQ)
– Simon Perdrix (Inria / LORIA)
– Benoît Valiron (CentraleSupélec)

FUNDING:

The school is funded by the European Union through the Marie
Skłodowska-Curie Actions – Staff Exchanges programme (MSCA-SE).

-- 
https://urldefense.com/v3/__https://members.loria.fr/ADiazCaro/__;!!IBzWLUs!T-mMhBcnAHRSOlO-M80q7gImLmHER9V5zR4owzPC-KIX3L7VU1rImcRAgT7PtyaVMceciJZcyPgWE4z0dcF4WhYtVN_zpyNqEZYT5Q8$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250606/3010d009/attachment-0001.htm>