After a succesfull first edition in Nancy (France), the second QCOMICAL School will take place in Pisa (Italy) as part of the QCOMICAL project. The school will offer tutorials and lectures by leading researchers involved in the project, working on quantum computing with a focus on quantum programming languages and their semantics, fostering interaction across foundational approaches.
Registration is free, and coffee breaks and lunches are included!
COURSES:
• Computational Quantum Logic - Alejandro Díaz-Caro (Inria Nancy, France & Universidad de la República, Uruguay)
• Bayesian Networks (and Quantum Ones) - Claudia Faggian (CNRS/Université Paris Cité, France)
• Quantum Process Calculi - Fabio Gadducci (CINI/Università di Pisa, Italia)
• Tool Session: Automated Verification of Quantum Protocols - Giuseppe Lomurno (Università di Pisa, Italy)
• Quantum Programming Languages - Benoît Valiron (CentraleSupélec, France)
• Categories for Quantum Computing - Vladimir Zamdzhiev (INRIA/Université Paris Saclay, France)
Visit the website (https://qcomical2026.github.io) for more info on the courses abstracts and the preliminary schedule.
ORGANISING COMMITTEE:
• Roberto Bruni - Università di Pisa, Italia
• Alejandro Dìaz-Caro - Inria Nancy, France & Universidad de la República, Uruguay
• Fabio Gadducci (chair) - CINI/Università di Pisa, Italia
• Gabriele Tedeschi - Université Paris Cité/CNRS, France
• Benoît Valiron - CentraleSupélec, France
FUNDING:
The QComical project is funded by the European Union through the Marie Skłodowska-Curie Actions – Staff Exchanges programme (MSCA-SE). Current sponsors are AICA, Alice&Bob, Università di Pisa.
