Home

Programme

Day 1 – July-5 2022

8:00–8:45
Registration
8:45–9:00
Opening
Invited Talk 1
9:00–10:00
Robert O' Callahan Reverse execution in the rr Debugger
10:00–10:30
Break
Foundations of Reversibility -- Chair Ivan Lanese
10:30–11:00
Concurrencies in Reversible Concurrent Calculi
Clément Aubert
11:00–11:30
Algeo: An Algebraic Approach to Reversibility
Mikkel Kragh Mathiesen, Robin Kaarsgaard and Fritz Henglein
11:30–11:50
Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean
Giacomo Maletto and Luca Roversi
11:50–12:10
Formal Translation from Reversing Petri Nets to Coloured Petri Nets
Kamila Barylska, Anna Gogolinska, Łukasz Mikulski, Anna Philippou, Marcin Piątkowski and Kyriaki Psara
12:10–12:30
The Aleph-Calculus
Hannah Earley
12:30–14:30
Lunch Break
Program Debugging -- Chair Claudio Antares Mezzina
14:30–15:00
Reversibility in Erlang: Imperative Constructs
Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen and Giovanni Fabbretti
15:00–15:20
Towards Causal-consistent Reversibility of Imperative Concurrent Programs
James Hoey and Irek Ulidowski
15:20–15:40
A Reversible Debugger for Imperative Parallel Programs with Contracts
Takashi Ikeda and Shoji Yuen
15:40–16:00
Designing a Reversible Stack Machines
Niklas Deworetzki and Uwe Meyer
16:30–18:30
Social event: visit to the national picture gallery
20:00–22:00
Social dinner: osteria km0

Day 2 – July-6 2021

Invited Talk 2
9:00–10:00
Vincent van Wingerden An introduction to Azure Quantum and the Microsoft QDK
10:00–10:30
Break
Reversible Circuits -- Chair Robert Glück
10:30–11:00
Reversible computation in integrated photonics.
Alexis De Vos
11:00–11:30
Constructing all qutrit controlled Clifford+T gates unitarily
Lia Yeh and John van de Wetering
11:30–12:00
Fast Control for Reversible Processors
Torben Ægidius Mogensen
12:00–12:30
Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates
Shohei Kuroda and Shigeru Yamashita
12:30–14:30
Break
Quantum Computing-- Chair Irek Ulidowski
14:30-15:00
Directed Graph Encoding in Quantum Computing supporting Edge-Failures
Riccardo Romanello, Carla Piazza, Brian Riccardi and Davide Della Giustina
15:00–15:30
Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think
Stefan Hillmich, Lukas Burgholzer, Florian Stögmüller and Robert Wille
15:30–16:00
Optimising reversible programs
Niklas Deworetzki, Martin Kutrib , Uwe Meyer, and Pia-Doreen Ritzke
16:00–16:30
Closing

Important dates :

Abstract submission:
February 28, 2022 (EXTENDED)

Submission deadline:
February 28, 2022 (EXTENDED)

Notification to authors:
April 10, 2022 (EXTENDED)

Final version:
April 25, 2022

Conference:
July 5 - July 6, 2022

Program Chairs:

Claudio Antares Mezzina
University of Urbino, Italy

Krzysztof Podlaski
University of Łódź, Poland
Sponsors:
Impress | Contact