Call for Contributions

Workshop contributions can be extended abstracts or short papers, including already published results. Details on the submission will follow. 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.

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
• …