2nd Announcement: QCOMICAL School 2026 on Quantum Programming Languages and Semantics
Apologies for multiple copies. ========================================================== QCOMICAL School 2026 16-20 November 2026, Pisa, Italy https://qcomical2026.github.io ========================================================== BACKGROUND: 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. 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) REGISTRATION: * Opens now, up until October 16. * Free of charge. * Coffee breaks and lunches are included. Travel and accommodation are at participants' expense. * The registration form and practical details (travel, visas, accommodation) are in the website. 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.
participants (1)
-
tedeschi