<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-ligatures:none;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:3.0cm 2.0cm 3.0cm 2.0cm;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="DA" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span lang="EN-GB">** Call for participation – registration is now open! **<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">REVERSIBLE COMPUTATION 2025<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">17th International Conference on Reversible Computation<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">July 3rd - July 4th, 2025, Odense, Denmark<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><a href="https://urldefense.com/v3/__https://reversible-computation-2025.github.io__;!!IBzWLUs!Rd7HeJ71LAKH1fULUAr4YgN_UMGU1fIWx8La3un8ZnewNNmaDRz3bXN3Hlmo_6mDf2a-sf2Pd6JMEgvrvdyRRXyXHPdkwI8UJoxcfVM$">https://reversible-computation-2025.github.io</a><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Scope<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">=====<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p></o:p></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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p></o:p></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.<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"> <o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Important dates<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">===============<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Registration deadline: June 19th, 2025<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Conference: July 3rd - July 4th, 2025<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Invited talks<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">=============<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Jørgen Ellegaard Andersen. Replacing Monte Carlo Simulation with Gaussian Boson Sampling<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Chris Heunen. Free Quantum Computing<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">Accepted papers<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">===============<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Alexis de Vos. Two small quantum building-blocks suffice<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Maxime Remaud and Vivien Vandaele. Ancilla-free Quantum Adder with Sublinear Depth<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Matteo Palazzo and Luca Roversi. Characterizing Two-way Bijections Implicitly by a Reversible Computational Model<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* William Arnone and Ivan Lanese. Tallulah, a Tool to Support the Axiomatic Approach to Causal- Consistent Reversibility<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Adam Barwell, Ping Hou, Martin Vassor and Nobuko Yoshida. Encoding Choice and Replication in roll−π<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Uku Zingel, Stefan Kuhn and Eero Vainikko. Implementing Reversible Neural Networks<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Tristan Cam, Simon Martiel, Cyril Gavoille and Yvan Le Borgne. Universal Graph Theory Operations for Graph State Preparation<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Clément Aubert, Iain Phillips and Irek Ulidowski. Independence and Causality in the Reversible Concurrent Setting<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Thomas Kelly and Aleks Kissinger. Approximate Optimisation of Quantum Circuits using the ZX-calculus with Phase Squashing<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Jens Emil Christensen, Søren Fuglede Jørgensen, Jaco van de Pol and Andreas Pavlogiannis. On Exact Sizes of Minimal CNOT Circuits<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Shunya Oguchi, Shoji Yuen and Nobuko Yoshida. RevMiGo: Reversible channel-based communication in Go language<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-GB">* Giacomo Belli, Andrea Bersellini and Michele Amoretti. Implementation of an Optimally Bounded Algorithm for Quantum State Preparation</span></p>
</div>
</body>
</html>