[TYPES/announce] RC 2025: Call for Participation

[Robin Kaarsgaard Sales]

** Call for participation – registration is now open! **

REVERSIBLE COMPUTATION 2025
17th International Conference on Reversible Computation
July 3rd - July 4th, 2025, Odense, Denmark
https://urldefense.com/v3/__https://reversible-computation-2025.github.io__;!!IBzWLUs!Rd7HeJ71LAKH1fULUAr4YgN_UMGU1fIWx8La3un8ZnewNNmaDRz3bXN3Hlmo_6mDf2a-sf2Pd6JMEgvrvdyRRXyXHPdkwI8UJoxcfVM$ 
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.

Important dates
===============

Registration deadline: June 19th, 2025
Conference: July 3rd - July 4th, 2025


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

* Jørgen Ellegaard Andersen. Replacing Monte Carlo Simulation with Gaussian Boson Sampling
* Chris Heunen. Free Quantum Computing


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

* Alexis de Vos. Two small quantum building-blocks suffice
* Maxime Remaud and Vivien Vandaele. Ancilla-free Quantum Adder with Sublinear Depth
* Matteo Palazzo and Luca Roversi. Characterizing Two-way Bijections Implicitly by a Reversible Computational Model
* William Arnone and Ivan Lanese. Tallulah, a Tool to Support the Axiomatic Approach to Causal- Consistent Reversibility
* Adam Barwell, Ping Hou, Martin Vassor and Nobuko Yoshida. Encoding Choice and Replication in roll−π
* Uku Zingel, Stefan Kuhn and Eero Vainikko. Implementing Reversible Neural Networks
* Tristan Cam, Simon Martiel, Cyril Gavoille and Yvan Le Borgne. Universal Graph Theory Operations for Graph State Preparation
* Clément Aubert, Iain Phillips and Irek Ulidowski. Independence and Causality in the Reversible Concurrent Setting
* Thomas Kelly and Aleks Kissinger. Approximate Optimisation of Quantum Circuits using the ZX-calculus with Phase Squashing
* Jens Emil Christensen, Søren Fuglede Jørgensen, Jaco van de Pol and Andreas Pavlogiannis. On Exact Sizes of Minimal CNOT Circuits
* Shunya Oguchi, Shoji Yuen and Nobuko Yoshida. RevMiGo: Reversible channel-based communication in Go language
* Giacomo Belli, Andrea Bersellini and Michele Amoretti. Implementation of an Optimally Bounded Algorithm for Quantum State Preparation
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250513/a4e21e7a/attachment-0001.htm>