QCOMICAL 2026

QCOMICAL School on Quantum Programming Languages and Semantics. Submissions close 2026-10-16. Held in Pisa, Italy. Next deadline: Applications. Second edition. Courses on quantum programming languages, quantum process calculi, computational quantum logic, categories for quantum computing, and quantum Bayesian networks, plus a tool session on verifying quantum protocols. For: anyone. Funding: Free of charge, with lunches and coffee breaks; travel and accommodation are not covered. Topics: quantum computing, programming languages, semantics, logic. Listed by PLFM (https://pl-fm.github.io/, MIT).