[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
==========================================================
QCOMICAL School 2025
3-7 November 2025, Nancy, France
https://urldefense.com/v3/__https://qcomical2025.github.io__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1H0wDQUF8$
==========================================================
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 and lunches are included*. Travel and accommodation are at
participants’ expense.
* *Registration deadline is October 9 midnight CEST.*
Link for registration:
https://urldefense.com/v3/__https://sondages.inria.fr/index.php/668754?lang=en__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1Hq7mKRVs$
ORGANISING COMMITTEE:
– Kostia Chardonnet (Inria / LORIA)
– Alejandro Díaz-Caro (Chair, Inria / LORIA & UNQ)
– Simon Perdrix (Inria / LORIA)
– Benoît Valiron (CentraleSupélec)
SPONSORS:
- Quantinuum -
https://urldefense.com/v3/__https://www.quantinuum.com/__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1HmY0Oci0$
(diamond)
- GDR IFM -
https://urldefense.com/v3/__https://www.gdr-ifm.fr/__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1HYIfSl60$
(silver)
- Quandela -
https://urldefense.com/v3/__https://quandela.com/__;!!IBzWLUs!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1HOSZAOR8$
(silver)
The school is also 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!REzh_d8ON7NVLb9jVhPlZXCJi4GmOmwXKxsKpkXWAOa9Z5rUYWzbjM5hdoLORd-igfEr_MVOb6l-3fjl2HtMp4ufhg5NAv1HMc-TDzY$
