List of 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