Programme

Programme (subject to change)

Thursday, July 3, 2025
9:00 Registration opens, coffee
9:45-10:00 Opening
Chair: Robert Glück
10:00-11:00 Chris Heunen: Free Quantum Computing (Invited Talk)
11:00-11:30 Coffee
Chair: Shoji Yuen
11:30-12:00 William Arnone and Ivan Lanese: Tallulah, a Tool to Support the Axiomatic Approach to Causal-Consistent Reversibility
12:00-12:30 Adam Barwell, Ping Hou, Martin Vassor and Nobuko Yoshida: Encoding Choice and Replication in roll−π
12:30-13:00 Clément Aubert, Iain Phillips and Irek Ulidowski: Independence and Causality in the Reversible Concurrent Setting
13:00-14:15 Lunch
Chair: Michael Kirkedal Thomsen
14:15-14:45 Alexis De Vos: Two small quantum building-blocks suffice
14:45-15:15 Jens Emil Christensen, Søren Fuglede Jørgensen, Jaco van de Pol and Andreas Pavlogiannis: On Exact Sizes of Minimal CNOT Circuits
15:15-15:45 Maxime Remaud and Vivien Vandaele: Ancilla-free Quantum Adder with Sublinear Depth
16:30 Social at HC Andersen's House.
18:30 Conference Dinner at Madklubben.
Friday, July 4, 2025
09:00-10:00 Venue opens, coffee
Chair: Robin Kaarsgaard
10:00-11:00 Jørgen Ellegaard Andersen: Replacing Monte Carlo Simulation with Gaussian Boson Sampling (Invited Talk)
11:00-11:30 Coffee
Chair: Chris Heunen
11:30-12:00 Tristan Cam, Simon Martiel, Cyril Gavoille and Yvan Le Borgne: Universal Graph Theory Operations for Graph State Preparation
12:00-12:30 Giacomo Belli, Andrea Bersellini and Michele Amoretti: Implementation of an Optimally Bounded Algorithm for Quantum State Preparation
12:30-13:00 Thomas Kelly and Aleks Kissinger: Approximate Optimisation of Quantum Circuits using the ZX-calculus with Phase Squashing
13:00-14:15 Lunch
Chair: Ivan Lanese
14:15-14:45 Shunya Oguchi, Shoji Yuen and Nobuko Yoshida: RevMiGo: Reversible channel-based communication in Go language
14:45-15:15 Uku Zingel, Stefan Kuhn and Eero Vainikko: Implementing Reversible Neural Networks
15:15-15:45 Matteo Palazzo and Luca Roversi: Characterizing Two-way Bijections Implicitly by a Reversible Computational Model
15:45 Closing and drinks
Important dates :

Abstract submission:
February 7th, 2025 AOE
February 21st, 2025 AOE

Submission deadline:
February 13th, 2025 AOE
February 28th, 2025 AOE

Notification to authors:
April 11th, 2025 AOE

Final version:
May 1st, 2025 AOE

Conference:
July 3rd - July 4th, 2025

Organisers:

Robin Kaarsgaard
University of Southern Denmark
Odense, Denmark


Sponsors:
Contact