Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: events

Topic: QCOMICAL School 2025 on Quantum and Classical PL

Alejandro Díaz-Caro (Jun 06 2025 at 10:24):

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

QCOMICAL School 2025

3-7 November 2025, Nancy, France

https://qcomical2025.github.io

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

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).