Dagstuhl-Seminar 26111
Formal Analysis and Verification in Quantum Programming Languages
( 08. Mar – 13. Mar, 2026 )
Permalink
Bitte benutzen Sie folgende Kurz-Url zum Verlinken dieser Seite:
https://www.dagstuhl.de/26111
Organisatoren
- 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)
Kontakt
- Andreas Dolzmann (für wissenschaftliche Fragen)
- Simone Schilke (für administrative Fragen)
Verwandte Seminare
- Dagstuhl-Seminar 18381: Quantum Programming Languages (2018-09-16 - 2018-09-21) (Details)
Klassifikation
- Logic in Computer Science
- Programming Languages
Schlagworte
- quantum programming languages
- verification of quantum programs
- formalization of quantum processes
- quantum compilation