Quantum and Classical Programming Languages and Semantics.
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)
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).
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.
