QCOMICAL School 2025

on Quantum and Classical Programming Languages and Semantics

November 3 to 7, 2025 – Nancy, France

The first QCOMICAL School will take place in Nancy, France, in 2025 as part of the QCOMICAL project. The school will offer tutorials and lectures by leading researchers involved in the project, working on quantum computing as well as related topics in programming languages and semantics, fostering interaction across foundational approaches.

Courses and Lecturers

Course titles are tentative and indicate the general subject areas to be covered.

Schedule

Below is the preliminary schedule scheme:

Time Monday Tuesday Wednesday Thursday Friday
9:00 – 9:30 Coffee break
9:30 – 11:30 Quantum Programming Languages Concurrency Quantum Linear Optics Quantitative Types
11:30 – 13:30 Lunch break
13:30 – 15:30 Tutorial: Introduction to Quantum Computing Realisability Quantum Programming Languages Quantitative Types Quantum Linear Optics
15:30 – 16:00 Coffee break
16:00 – 18:00 Tutorial: Introduction to ZX Calculus Concurrency Realisability Quantum Programming Languages

Registration

Registration will open in September 2025 and will be free of charge. In case the number of registrations exceeds the available capacity, places will be allocated on a first-come, first-served basis.

Organisers