18th International Conference on
Reversible Computation (RC)
July 9–10, 2026, Torino, Italy
Reversible Computation (RC)
July 9–10, 2026, Torino, Italy
Accepted Papers
In no particular order, were accepted for presentation at RC 2026 the following:
- Antonio Tudisco, Deborah Volpe, Mariagrazia Graziano and Giovanna Turvani. Toward Quantum Circuit Execution Success Estimation via Graph Neural Network-based Prediction
- Baptiste Vallée and Ivan Lanese. On Weak Bisimilarities in CCSK
- Byron Gregg and Christof Teuscher. A Proposed Research Platform for Fully Adiabatic, Reversible, and Superscalar (FARS) Microarchitectures
- Christine Li and Lia Yeh. Transversal AND in Quantum Codes
- Daniel Dávalos and Hernán Melgratti. A Lean Mechanization of Reversible Occurrence Nets
- Giacomo Belli and Michele Amoretti. Exact Quantum State Preparation with the Standard Recursive Block Basis
- Hannah Blyton and Hugh Potter. Discrete Semantics for Reversible Transistor Network Verification
- Ivan Lanese and Germán Vidal. A Reversible Semantics for Janus
- Joachim Tilsted Kristensen, Triera Gashi and Michael Kirkedal Thomsen. Automatic Generation of Generators for Property-Based Testing with Inverse Interpretation
- Julie Cailler and Martin Vassor. A Graph Rewriting-Based Semantics and Implementation for ρπ
- Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada and Kentaro Kikuchi. PisoLang: a User-Friendly Reversible Programming Language with Inductive Types
- Louis Marott Normann and Robert Glück. PEARL: A Partial Evaluation Toolbox for a Reversible Language
- Lukas Gail, Uwe Meyer and Tristan Schönhals. Compiling Roopl++ to HSSA
- Nicolò Pizzo and Claudio Sacerdoti Coen. A Reversible Crumbling Abstract Machine for Plotkin’s Call-by-Value
- Stefan Kuhn, Vandana Dwarka, Przemyslaw Karol Grenda and Eero Vainikko. Reversible Deep Learning for 13C NMR in Chemoinformatics: On Structures and Spectra
- Toya Makino and Tetsuo Yokoyama. Small-Step Semantics with Meta-Level Reversibility for a Reversible Core Language
- Yuna Sadamoto, Shoji Yuen and Claudio Antares Mezzina. Introducing Time Passage to the Reversible Semantics for Erlang
You can find information about the proceedings on the landing page, and some of the slides on the program page.