Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Dagstuhl reports

Quantum Error Correction Meets ZX-Calculus (Dagstuhl Seminar 25382)

Miriam Backens, Aleks Kissinger, John van de Wetering, Michael Vasmer, Sarah Meng Li

Published Jan 1, 2026• 0 citations
Publisher

Abstract

This report documents the Dagstuhl Seminar 25382 "Quantum Error Correction Meets ZX-Calculus". The report consists of an executive summary, as well as abstracts on talks, working groups, panel discussions, and open problems.
DOI
10.4230/dagrep.15.9.58

Related papers

Graphical structures for design and verification of quantum error correction

Nicholas Chancellor, A Kissinger, S Zohren +2 more

•Sep 22, 2023•0 citations

Quantum Cryptanalysis (Dagstuhl Seminar 25431)

Gorjan Alagic, Simona Etinski, Stacey Jeffery +1 more

This report documents the program and the outcomes of Dagstuhl Seminar 25431 "Quantum Cryptanalysis". The seminar took place as an in-person event in October 2025 and was the eighth installment of the Dagstuhl Seminar series on Quantum Cryptanalysis. This report describes the motivation and technical scope of the seminar as well as the (updated) organizational structure of this week-long event. We also include abstracts of the seminar presentations given by participants and a description of the activities of the working groups.

Dagstuhl reports•Jan 1, 2026•0 citations

Quantum Cryptanalysis (Dagstuhl Seminar 13371)

Serge Fehr, Michele Mosca, Martin Rötteler +1 more

This report documents the program and the outcomes of Dagstuhl Seminar 13371 "Quantum Cryptanalysis". In the first part, the motivation and organizational aspects of this meeting are outlined. Thereafter, abstracts for the presentations are provided (sorted alphabetically by last name of the presenter)

Dagstuhl reports•Jan 1, 2014•0 citations

Analysis of a quantum error correcting code using quantum process calculus

Ittoop Vergheese Puthoor

•Dec 31, 2011•0 citations

Simulation of Quantum Error Correction with Mathematica

Vladimir P. Gerdt, Alexander N. Prokopenya

Lecture notes in computer science•Jan 1, 2013•8 citations

Quantum Programming Languages (Dagstuhl Seminar 18381)

Michele Mosca, Martin Roetteler, Peter Selinger

This report documents the program and the outcomes of Dagstuhl Seminar 18381 "Quantum Programming Languages", which brought together researchers from quantum computing and classical programming languages.

Dagstuhl reports•Jan 1, 2019•12 citations
This report documents the program and the outcomes of Dagstuhl Seminar 25431 "Quantum Cryptanalysis". The seminar took place as an in-person event in October 2025 and was the eighth installment of the Dagstuhl Seminar series on Quantum Cryptanalysis. This report describes the motivation and technical scope of the seminar as well as the (updated) organizational structure of this week-long event. We also include abstracts of the seminar presentations given by participants and a description of the activities of the working groups.