QCOMICAL School 2025
3-7 November 2025, Nancy, France
==========================================================
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:
* Free of charge; seats allocated on a first-come, first-served basis.
* Coffee breaks are included. Travel, accommodation, and lunches are at participants’ expense.
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).