FMQC — PROGRAM
Days: Saturday, 18 July 2026
Saturday, 18 July 2026
Session Chair:
Location:
C5.08
| 09:00-10:00 |
From quantum in pictures to interpretable and scalable quantum AI (abstract) 60 min
1 Oxford University
|
Session Chair:
Location:
C5.08
| 10:30-11:00 |
Minimal-size decision diagrams for quantum-circuit simulation (abstract) 30 min
1 Delft University
|
| 11:00-11:20 |
From Tensor Networks to Tractable Circuits, and Back (abstract) 20 min
1 Leiden University
2 University of Amsterdam
|
| 11:20-11:40 |
Optimal Clifford-Circuit Synthesis as SAT and Planning (abstract) 20 min
1 Aarhus University
|
| 11:40-12:00 |
A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs (abstract) 20 min
1 INRIA, LORIA, Université de Lorraine
|
Session Chair:
Location:
C5.08
| 13:20-13:50 |
Model Counting: Solving, Complexity, and Applications (abstract) 30 min
1 Linköping University
|
| 13:50-14:20 |
New Insights into Counting Complexity and Quantitative Reasoning with Complex Numbers (abstract) 30 min
1 University of Potsdam + Artois University
|
| 14:20-14:40 |
Quantum Physics using Weighted Model Counting (abstract) 20 min
1 Leiden University
|
| 14:40-15:00 |
Noisy Quantum Circuit Simulation Via Automated Reasoning (abstract) 20 min
1 European Space Agency
|
Session Chair:
Location:
C5.08
| 15:30-16:00 |
Automata-Based Verification of Size-Parameterized Quantum Circuits (abstract) 30 min
1 Academia Sinica, Taiwan
|
| 16:00-16:20 |
Synthesizing Quantum Circuits using SMT and MILP (abstract) 20 min
1 Brno University of Technology
|
| 16:20-16:40 |
Static Resource Analysis of Hybrid Programs with Unbounded Loops (abstract) 20 min
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
|