# Call for Contributions 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 Classified as Internal | Intern
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
