REVERSIBLE COMPUTATION 2026

18th International Conference on Reversible Computation

July 9–10, 2026, Torino, Italy

https://reversible-computation.github.io/

Scope
=====

Reversible computation has a growing number of promising application areas such as low power design, coding/decoding, debugging, testing and verification, database recovery, discrete event simulation, reversible algorithms, reversible specification formalisms, reversible programming languages, process algebras, and the modeling of biochemical systems. Furthermore, reversible logic provides a basis for quantum computation with its applications, for example, in cryptography and in the development of highly efficient algorithms. First reversible circuits and quantum circuits have been implemented and are seen as promising alternatives to conventional CMOS technology.

The conference will bring together researchers from computer science, mathematics, and physics to discuss new developments and directions for future research in Reversible Computation. This includes applications of reversibility in quantum computation.

Registration -- Dates & Location
==========================

https://reversible-computation.github.io/registration/

Early registration discount deadline: May 15th, 2026

Conference: July 9th -- July 10th, 2026

The conference will take place Università degli Studi di Torino, Dipartimento Scienze della Vita e Biologia dei Sistemi, Via Accademia Albertina, 13, 10123 Torino TO, Italy. Information on travel will be posted on https://reversible-computation.github.io/location/ .

Invited talks
==========

https://reversible-computation.github.io/invited/

* Hannah Earley. Reversing the history of computing

* Prakash Panangaden. Quantum Alternation

 

Accepted papers
===============

https://reversible-computation.github.io/accepted/

In no particular order, some accepts being conditional:

• 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 Claudio Melgratti. A Lean Mechanization of Reversible Occurrence Nets
• Giacomo Belli and Michele Amoretti. Exact Quantum State Preparation with the Standard Recursive Block Basis
• Hugh Potter and Hannah Blyton. Discrete Semantics for Reversible Transistor Network Verification
• Ivan Lanese and German Vidal. A Reversible Semantics for Janus
• Joachim 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

The proceedings will be published in Springer's Lecture Notes in Computer Science (Volume 16626) in May or June, before the conference.