<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Call for papers</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">REVERSIBLE COMPUTATION 2025</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">17th International Conference on Reversible Computation</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">July 3rd - July 4th, 2025, Odense, Denmark</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<a href="https://urldefense.com/v3/__https://reversible-computation-2025.github.io/__;!!IBzWLUs!RfZ2RNUxN4N1mY0CwqEN0HmlhOlNCcFfaIGS5FSYZ_Q7zufS_z2NQbzPaBlBXEltD1ZzaaVAj03o089ErA_XS45mF_Mxg1Au7ILaWOk$">https://reversible-computation-2025.github.io</a><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Scope</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">=====</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">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><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">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. Research papers, tutorials, tool demonstrations, and work-in-progress reports are within the scope of the conference. Invited talks by leading international experts will complete the program.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Contributions on all areas of Reversible Computation are welcome, including---but not limited to---the following topics:</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Applications</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Architectures</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Algorithms</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Bidirectional transformations</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Circuit Design</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Debugging</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Fault Tolerance and Error Correction</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Hardware</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Information Theory</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Physical Realizations</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Programming Languages</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Program Transformation and Optimisation</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Quantum Computation</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Software</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Synthesis</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Theoretical Results</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Testing</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* Verification</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Important dates</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">===============</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Abstract submission: February 7th, 2025 AOE</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission deadline: February 13th, 2025 AOE</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Notification to authors: April 11th, 2025 AOE</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Final version: May 1st, 2025 AOE</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Conference: July 3rd - July 4th, 2025</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Submission guidelines</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">=====================</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">In order to submit a paper to the Reversible Computation conference, please follow these guidelines:</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">You can submit</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* full research papers (15 pages maximum),</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* tutorials (15 pages maximum),</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">* work-in-progress or tool demonstration papers (6 pages maximum).</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">The stated page limits do not include references. Additional material intended for reviewers but not for publication in the final version — for example, details of proofs — may be placed in a clearly
marked appendix that is not included in the page limit.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">The paper submission will be accepted as a PDF file using the LNCS style.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">At least one author of an accepted paper is expected to register and present the paper at the conference. We would appreciate if one person would not present more than two papers at the conference:
if more than two papers are accepted by a group of authors, we kindly ask that the papers be presented by different co-authors, as far as possible. PC chairs and general chairs are not permitted to submit papers to the conference.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">All accepted papers will be included in the conference proceedings and published by Springer as a Lecture Notes in Computer Science (LNCS) volume.</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Program committee</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">=================</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Program chairs</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> Robert Glück (University of Copenhagen, Denmark)</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> Robin Kaarsgaard (University of Southern Denmark, Denmark)</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">Program committee members</span><br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<br style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);">
<span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"> TBD</span>
<div><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);"><br>
</span></div>
</body>
</html>