Call for Contributions - Workshop on Formal Methods in Quantum Computing
"Laarman, A.W. \(Alfons\) via dmanet" <[email protected]>
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <MATPR09MB8583562954E4054DAF003FCDED232@MATPR09MB8583.eurprd09.prod.outlook.com> |
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 ********************************************************** * * Contributions to be spread via DMANET are submitted to * * [email protected] * * 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/ * **********************************************************