Programme

All times are listed for CEST (Central European Summer Time)

Thursday, July 9, 2026

8:00 Registration
9:00 Opening
9:10 Hannah Earley. Reversing the history of computing
10:00 Coffee break
  Models of Reversible and Quantum Computation
10:30 Christine Li and Lia Yeh. Transversal AND in Quantum Codes
11:00 Nicolò Pizzo and Claudio Sacerdoti Coen. A Reversible Crumbling Abstract Machine for Plotkin’s Call-by-Value
11:30 Baptiste Vallée and Ivan Lanese. On Weak Bisimilarities in CCSK
12:00 Lunch
  Formal Developments in Reversible and Quantum Programs
14:00 Giacomo Belli and Michele Amoretti. Exact Quantum State Preparation with the Standard Recursive Block Basis
14:30 Daniel Dávalos and Hernán Claudio Melgratti. A Lean Mechanization of Reversible Occurrence Nets
15:00 Hugh Potter and Hannah Blyton. Discrete Semantics for Reversible Transistor Network Verification
15:30 Coffee break
  Applications of Reversible and Quantum Computations
16:00 Byron Gregg and Christof Teuscher. A Proposed Research Platform for Fully Adiabatic, Reversible, and Superscalar (FARS) Microarchitectures
16:30 Stefan Kuhn, Vandana Dwarka, Przemyslaw Karol Grenda and Eero Vainikko. Reversible Deep Learning for 13C NMR in Chemoinformatics: On Structures and Spectra
17:00 Antonio Tudisco, Deborah Volpe, Mariagrazia Graziano and Giovanna Turvani. Toward Quantum Circuit Execution Success Estimation via Graph Neural Network-based Prediction
19:45 Social dinner

Friday, July 10, 2026

9:00 Opening
9:10 Prakash Panangaden. Quantum Alternation
10:00 Coffee break
  Reversible Programming Languages
10:30 Ivan Lanese and German Vidal. A Reversible Semantics for Janus
11:00 Lukas Gail, Uwe Meyer and Tristan Schönhals. Compiling Roopl++ to HSSA
11:30 Toya Makino and Tetsuo Yokoyama. Small-Step Semantics with Meta-Level Reversibility for a Reversible Core Language
12:00 Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada and Kentaro Kikuchi. PisoLang: a User-Friendly Reversible Programming Language with Inductive Types
12:30 Lunch
  Support for Reversible Programming
14:00 Julie Cailler and Martin Vassor. A Graph Rewriting-Based Semantics and Implementation for ρπ
14:30 Joachim Kristensen, Triera Gashi and Michael Kirkedal Thomsen. Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation
15:00 Louis Marott Normann and Robert Glück. PEARL: A Partial Evaluation Toolbox for a Reversible Language
15:30 Yuna Sadamoto, Shoji Yuen and Claudio Antares Mezzina. Introducing Time Passage to the Reversible Semantics for Erlang
16:00 Presentation of the next edition, Closing
16:10 Coffee Break
17:45 Social event