[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
** 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
