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.