[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Apologies for multiple copies.
==========================================================
QCOMICAL School 2026
16-20 November 2026, Pisa, Italy
https://urldefense.com/v3/__https://qcomical2026.github.io__;!!IBzWLUs!U0UnYZrR5cwVFxTIG9ksIaQZLa99v9xjCJSA57AED1atEL3MwOZwUkMQo8_dWR8pHwinkIQOEl2vjGVttU4OcJ9exEfgIBQ5$
<https://urldefense.com/v3/__https://qcomical2026.github.io/__;!!IBzWLUs!U0UnYZrR5cwVFxTIG9ksIaQZLa99v9xjCJSA57AED1atEL3MwOZwUkMQo8_dWR8pHwinkIQOEl2vjGVttU4OcJ9exFVJhF9X$
>
==========================================================
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:
• Tutorial: Bayesian networks - Claudia Faggian (CNRS/Université Paris Cité,
France)
• Computational quantum logic - Alejandro Díaz-Caro (Inria Nancy, France &
Universidad de la República, Uruguay)
• Quantum process calculi - Fabio Gadducci (CINI/Università di Pisa, Italia)
• Quantum programming languages - Benoît Valiron (CentraleSupélec, France)
• Categories for quantum computing - Vladimir Zamdzhiev (INRIA/Université
Paris Saclay, France)
REGISTRATION:
* Opens now
* 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.
* 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.
