Accepted papers

• Matthew Amy, Andrew N. Glaudell, Shaun Kelso, William Maxwell, Samuel Mendelson and Neil J. Ross Exact synthesis of multiqubit Clifford-cyclotomic circuits
• Pablo Arrighi, Gilles Dowek and Amélia Durbec A toy model provably featuring an arrow of time without past hypothesis
• Giovanni Fabbretti, Ivan Lanese and Jean-Bernard Stefani Reversibility with holes
• Lukas Gail and Uwe Meyer Connecting Reversible and Classical Computing through Hybrid SSA
• Liam Hurwitz, Kamalika Datta, Abhoy Kole and Rolf Drechsler Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?
• Joachim Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen Jeopardy: An Invertible Functional Programming Language
• Pietro Lami, Ivan Lanese and Jean-Bernard Stefani A Small-Step Semantics for Janus
• Federico Dal Pio Luogo, Claudio Antares Mezzina and G. Michele Pinna Model Checking Reversible System forwardly
• Therese Lyngby, Rasmus Ross Nylandsted, Robert Glück and Tetsuo Yokoyama Towards Clean Reversible Lossless Compression. A Reversible Programming Experiment with Zip
• Shunya Oguchi and Shoji Yuen Concurrent RSSA for CRIL: Flow analysis for a concurrent reversible programming language
• Matteo Palazzo and Luca Roversi Algorithmically expressive, always-terminating model for reversible computation
• Lars-Bo Husted Vadgaard, Maja Kirkeby, Michael Kirkedal Thomsen and Ken Friis Larsen Exploring an Energy-Efficiency in Reversible Programming
• Scott Wesley LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper