RC2025
17th International Conference on
Reversible Computation (RC)
July 3 - July 4, 2025, Odense, Denmark
Reversible Computation (RC)
July 3 - July 4, 2025, Odense, Denmark
Programme
Programme (subject to change)
| Thursday, July 3, 2025 | |
| 9:00 | Registration opens, coffee |
| 9:45-10:00 | Opening |
| Chair: TBA | |
| 10:00-11:00 | Chris Heunen: Free Quantum Computing (Invited Talk) |
| 11:00-11:30 | Coffee |
| Chair: TBA | |
| 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:00 | Lunch |
| Chair: TBA | |
| 14:00-14:30 | Alexis De Vos: Two small quantum building-blocks suffice |
| 14:30-15:00 | Jens Emil Christensen, Søren Fuglede Jørgensen, Jaco van de Pol and Andreas Pavlogiannis: On Exact Sizes of Minimal CNOT Circuits |
| 15:00-15:30 | 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: TBA | |
| 10:00-11:00 | Jørgen Ellegaard Andersen: Replacing Monte Carlo Simulation with Gaussian Boson Sampling (Invited Talk) |
| 11:00-11:30 | Coffee |
| Chair: TBA | |
| 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:00 | Lunch |
| Chair: TBA | |
| 14:00-14:30 | Shunya Oguchi, Shoji Yuen and Nobuko Yoshida: RevMiGo: Reversible channel-based communication in Go language |
| 14:30-15:00 | Uku Zingel, Stefan Kuhn and Eero Vainikko: Implementing Reversible Neural Networks |
| 15:00-15:30 | Matteo Palazzo and Luca Roversi: Characterizing Two-way Bijections Implicitly by a Reversible Computational Model |
| 15:30 | 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
Abstract submission:
February 21st, 2025 AOE
Submission deadline:
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
Robin Kaarsgaard
University of Southern Denmark
Odense, Denmark
Sponsors:
