Dagstuhl Seminar 26111
Formal Analysis and Verification in Quantum Programming Languages
( Mar 08 – Mar 13, 2026 )
Permalink
Please use the following short url to reference this page:
https://www.dagstuhl.de/26111
Organizers
- Christophe Chareton (CEA LIST - Gif-sur-Yvette, FR)
- Yu-Fang Chen (Academia Sinica - Taipei, TW)
- Robert Rand (University of Chicago, US)
- Peter Selinger (Dalhousie University - Halifax, CA)
Contact
- Andreas Dolzmann (for scientific matters)
- Simone Schilke (for administrative matters)
Related Seminars
- Dagstuhl Seminar 18381: Quantum Programming Languages (2018-09-16 - 2018-09-21) (Details)
Classification
- Logic in Computer Science
- Programming Languages
Keywords
- quantum programming languages
- verification of quantum programs
- formalization of quantum processes
- quantum compilation