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)