Call for Contributions

Workshop contributions can be extended abstracts or short papers, including already published results. There are no formatting guidelines for contributions. Accepted contributions will be invited for presentation at the workshop.

Accepted contributions will be published informally on the workshop page. After the workshop, a selection of the contributions will be invited to a special issue in the journal STTT.

Submission Guidelines

The submissions are handled through this EasyChair site.
The submission deadline is June 15, 2025 AoE.

By submitting, you agree that your paper will be published on the workshop page if accepted.

Topics

Topics of interest include but are not limited to:

• ZX-Calculus
• Quantum Process Algebra
• Efficient Data Structures (e.g., Quantum Decision Diagrams and Tensor Networks)
• SAT/SMT Solving in Quantum Computing
• Programming Languages for Quantum Computing
• Quantum Topology
• Quantum Error Correction Codes (e.g., Topological Codes)
• Post-Quantum Cryptography