Tuesday, January 27, 2026

[DMANET] Call: Formal Methods in Quantum Computing, co-located with FLoC 2026

Second Workshop on Formal Methods in Quantum Computing
Lisbon, Portugal, July 18, 2026, co-located with FLoC 2026

Submission: Monday, May 11, AoE
Notification: June
Workshop: July 18
Website: https://fmqc-workshop.github.io/2026/call

=============================================
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
=============================================

Workshop contributions can be extended abstracts as well as short and long papers (including already published results). There are no formatting guidelines for contributions. Accepted contributions will be invited for presentation at the workshop.

At the workshop, we will assess whether there is sufficient interest in a special issue.

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
- Model Counting for Quantum Computing

=============================================
Confirmed Invited Speakers
=============================================

Bob Coecke (keynote)
Yu-Fang Chen
Tim Coopmans
Johannes Klaus Fichte
Markus Hecher
Kuldeep Meel
Christopher Vasko

=============================================
Organizers
=============================================

Max Bannach
Alfons Laarman
Jaco van de Pol
Christian Schilling
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************