About FMQC

The Second Workshop on Formal Methods in Quantum Computing (FMQC) will take place in Lisbon, Portugal, on July 18, 2026. It will be co-located with FLoC 2026.

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.

For the history of FMQC, see the past edition here.