FMQC — PROGRAM

Days: Saturday, 18 July 2026

Saturday, 18 July 2026
09:00-10:00 Opening and Keynote FMQC
Session Chair:
Alfons Laarman
Location: C5.08
09:00-10:00
From quantum in pictures to interpretable and scalable quantum AI (abstract) 60 min
Bob Coecke1
1 Oxford University
10:00-10:30 Coffee Break FMQC
Location: C5.08
10:30-12:00 Representation of Quantum Information FMQC
Session Chair:
Ondřej Lengál
Location: C5.08
10:30-11:00
Minimal-size decision diagrams for quantum-circuit simulation (abstract) 30 min
Tim Coopmans1
1 Delft University
11:00-11:20
From Tensor Networks to Tractable Circuits, and Back (abstract) 20 min
Arend-Jan Quist1, Marc Farreras, Alexis de Colnet1, John van de Wetering2, Alfons Laarman1
1 Leiden University
2 University of Amsterdam
11:20-11:40
GPU-Accelerated Quantum Simulation of Stabilizer Circuits (abstract) 20 min
Dimitrios Thanos1, Muhammad Mahmoud1, Alfons Laarman1
1 Leiden University
11:40-12:00
A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs (abstract) 20 min
Colin Blake1
1 INRIA, LORIA, Université de Lorraine
12:00-13:20 Lunch FMQC
Location: C5.08
13:20-15:00 Model Counting FMQC
Session Chair:
Tim Coopmans
Location: C5.08
13:20-13:50
Model Counting: Solving, Complexity, and Applications (abstract) 30 min
Johannes Klaus Fichte1
1 Linköping University
13:50-14:20
New Insights into Counting Complexity and Quantitative Reasoning with Complex Numbers (abstract) 30 min
Markus Hecher1
1 University of Potsdam + Artois University
14:20-14:40
Quantum Physics using Weighted Model Counting (abstract) 20 min
Joon Lee1, Dirck van den Ende1, Alfons Laarman1, Henning Basold1
1 Leiden University
14:40-15:00
Noisy Quantum Circuit Simulation Via Automated Reasoning (abstract) 20 min
Max Bannach1, Thore Gerlach1, Jai Grover1, Dolf Huybrechts1
1 European Space Agency
15:00-15:30 Coffee Break FMQC
Location: C5.08
15:30-16:40 Verification and Synthesis FMQC
Session Chair:
Max Bannach
Location: C5.08
15:30-16:00
Automata-Based Verification of Size-Parameterized Quantum Circuits (abstract) 30 min
Yu-Fang Chen1
1 Academia Sinica, Taiwan
16:00-16:20
Synthesizing Quantum Circuits using SMT and MILP (abstract) 20 min
Jakub Havlík1, Ondřej Lengál1
1 Brno University of Technology
16:20-16:40
Static Resource Analysis of Hybrid Programs with Unbounded Loops (abstract) 20 min
Jad Issa1, Christophe Chareton2, Romain Péchoux3
1 CEA List, Palaiseau, France and Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France
2 CEA List, Palaiseau, France
3 Université de Lorraine, CNRS, Inria, LORIA, F-54000 Nancy, France
16:40-17:10 Discussion FMQC
Location: C5.08
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑