CFP
FMQC 2025: Formal Methods in Quantum Computing Aarhus, Denmark, August 25, 2025 |
| Conference website | https://fmqc-workshop.github.io/2025/ |
| Submission link | https://easychair.org/conferences/?conf=fmqc2025 |
| Submission deadline | June 15, 2025 |
About
The recent surge in quantum computing, driven by substantial investments
from governments and industry leaders such as IBM and Google, highlights
its growing significance in both research and applications. Positioned
at the intersection of quantum physics, applied mathematics, and
theoretical computer science, the field presents vast opportunities for
interdisciplinary collaboration and synergy.
This workshop, approaching quantum computing from a computer science
perspective, seeks to bridge the gap between diverse research
communities and foster the transfer of technology and methodologies from
computer science, promoting cross-disciplinary innovation and progress.
Call for Contributions (Extended Abstracts)
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 and 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
Confirmed Invited Speakers
Jørgen Ellegaard Andersen
Alfons Laarman
John van de Wetering
Organizers
Kim Guldstrand Larsen
Jaco van de Pol
Christian Schilling
Max Tschaikowski