<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="moz-text-html" lang="x-unicode">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-GB"> REVERSIBLE COMPUTATION
2026</span></p>
<p class="MsoNormal"><span lang="EN-GB">18th International
Conference on Reversible Computation</span></p>
<p class="MsoNormal"><span lang="EN-GB"></span></p>
<p class="MsoNormal">July 9–10, 2026, Torino, Italy</p>
<p class="MsoNormal"><span lang="EN-GB"></span></p>
<p class="MsoNormal"><a class="moz-txt-link-freetext"
href="https://reversible-computation.github.io/">https://reversible-computation.github.io/</a></p>
<p class="MsoNormal"><span lang="EN-GB"><br>
</span></p>
<p class="MsoNormal"><span lang="EN-GB">Scope<br>
=====</span></p>
<p class="MsoNormal"><span lang="EN-GB"></span></p>
<p class="MsoNormal"><span lang="EN-GB">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.</span></p>
<p class="MsoNormal"><span lang="EN-GB"></span></p>
<p class="MsoNormal"><span lang="EN-GB">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.</span></p>
<p class="MsoNormal"><span lang="EN-GB"><br>
</span></p>
<p class="MsoNormal"><span lang="EN-GB"></span></p>
<p class="MsoNormal"><span lang="EN-GB">Registration -- Dates
& Location<br>
===============</span><span lang="EN-GB">===</span><span
lang="EN-GB">===</span><span lang="EN-GB">===</span><span
lang="EN-GB">==</span></p>
<p class="MsoNormal"><span lang="EN-GB"><a
class="moz-txt-link-freetext"
href="https://reversible-computation.github.io/registration/">https://reversible-computation.github.io/registration/</a></span></p>
<p class="MsoNormal"><span lang="EN-GB">Early registration
discount deadline: May 15th, 2026</span></p>
<p class="MsoNormal"><span lang="EN-GB">Conference: July 9th --
July 10th, 2026</span></p>
<p>The conference will take place <em>Università degli Studi di
Torino, Dipartimento Scienze della Vita e Biologia dei
Sistemi, Via Accademia Albertina, 13, 10123 Torino TO</em>,
Italy. Information on travel will be posted on
<a class="moz-txt-link-freetext" href="https://reversible-computation.github.io/location/">https://reversible-computation.github.io/location/</a> .</p>
<p class="MsoNormal"><br>
</p>
<p class="MsoNormal"><span lang="EN-GB">Invited talks<br>
==========</span></p>
<p class="MsoNormal"><span lang="EN-GB"><a
class="moz-txt-link-freetext"
href="https://reversible-computation.github.io/invited/">https://reversible-computation.github.io/invited/</a></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Hannah Earley.
Reversing the history of computing</span></p>
<p class="MsoNormal"><span lang="EN-GB">* Prakash Panangaden.
Quantum Alternation</span></p>
<p class="MsoNormal"><span lang="EN-GB"> </span></p>
<p class="MsoNormal"><span lang="EN-GB">Accepted papers<br>
===============</span></p>
<p class="MsoNormal"><span lang="EN-GB"><a
class="moz-txt-link-freetext"
href="https://reversible-computation.github.io/accepted/">https://reversible-computation.github.io/accepted/</a></span></p>
</div>
<div class="WordSection1">
<p>In no particular order, some accepts being conditional:</p>
<ul>
<li>Antonio Tudisco, Deborah Volpe, Mariagrazia Graziano and
Giovanna Turvani. <em>Toward Quantum Circuit Execution
Success Estimation via Graph Neural Network-based
Prediction</em></li>
<li>Baptiste Vallée and Ivan Lanese. <em>On Weak
Bisimilarities in CCSK</em></li>
<li>Byron Gregg and Christof Teuscher. <em>A Proposed
Research Platform for Fully Adiabatic, Reversible, and
Superscalar (FARS) Microarchitectures</em></li>
<li>Christine Li and Lia Yeh. <em>Transversal AND in Quantum
Codes</em></li>
<li>Daniel Dávalos and Hernán Claudio Melgratti. <em>A Lean
Mechanization of Reversible Occurrence Nets</em></li>
<li>Giacomo Belli and Michele Amoretti. <em>Exact Quantum
State Preparation with the Standard Recursive Block Basis</em></li>
<li>Hugh Potter and Hannah Blyton. <em>Discrete Semantics for
Reversible Transistor Network Verification</em></li>
<li>Ivan Lanese and German Vidal. <em>A Reversible Semantics
for Janus</em></li>
<li>Joachim Kristensen, Triera Gashi and Michael Kirkedal
Thomsen. <em>Automatic Generation of Generators for
Property-Based Testing with Inverse Interpretation</em></li>
<li>Julie Cailler and Martin Vassor. <em>A Graph
Rewriting-Based Semantics and Implementation for ρπ</em></li>
<li>Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada and Kentaro
Kikuchi. <em>PisoLang: a User-Friendly Reversible
Programming Language with Inductive Types</em></li>
<li>Louis Marott Normann and Robert Glück. <em>PEARL: A
Partial Evaluation Toolbox for a Reversible Language</em></li>
<li>Lukas Gail, Uwe Meyer and Tristan Schönhals. <em>Compiling
Roopl++ to HSSA</em></li>
<li>Nicolò Pizzo and Claudio Sacerdoti Coen. <em>A Reversible
Crumbling Abstract Machine for Plotkin’s Call-by-Value</em></li>
<li>Stefan Kuhn, Vandana Dwarka, Przemyslaw Karol Grenda and
Eero Vainikko. <em>Reversible Deep Learning for 13C NMR in
Chemoinformatics: On Structures and Spectra</em></li>
<li>Toya Makino and Tetsuo Yokoyama. <em>Small-Step Semantics
with Meta-Level Reversibility for a Reversible Core
Language</em></li>
<li>Yuna Sadamoto, Shoji Yuen and Claudio Antares Mezzina. <em>Introducing
Time Passage to the Reversible Semantics for Erlang</em></li>
</ul>
The proceedings will be published in Springer's Lecture Notes in
Computer Science (Volume 16626) in May or June, before the
conference.</div>
</div>
</body>
</html>