FMQC 2025

    August 25
  Aarhus, Denmark

Program

Time Program
8:30–9:00 Registration
9:00–9:50 Invited talk (Alfons Laarman)
9:50–10:20 Coffee break
10:20–11:10 Invited talk (John van de Wetering)
11:10–11:35 Fatimah Rita Ahmadi and Aleks Kissinger:
The ZX-calculus as a Language for Topological Quantum Computation
11:35–12:00 Jens Chr. Godskesen:
Model Checking Reachability Properties for Quantum Markov Chains
12:00–13:30 Lunch break
13:30–14:20 Invited talk (Jørgen Ellegaard Andersen)
14:20–14:25 Lightning talks
14:25–14:40 Coffee break including poster session
14:40–15:05 Martin Sachenbacher and Martin Leucker:
Towards Monitoring and Diagnosis of Quantum Digital Twins
15:05–15:30 Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno and Gabriele Tedeschi:
The Need for Feasible Non-determinism in Modelling Quantum Protocols
15:30–15:55 Adam Husted Kjelstrøm, Andreas Pavlogiannis and Jaco van de Pol:
Efficient Simulation of High-Level Quantum Gates
15:55–16:15 Coffee break
16:15–16:40 Abhoy Kole and Rolf Drechsler:
Performance Gains in Quantum SAT Solvers Using ESOP Encoding
16:40–17:30 Invited talk (Lukas Burgholzer)