Programme (subject to change)

Tuesday 7/18/2023
8:00-9:00 Registration
9:00-9:15 Opening
9:15-10:15 Cem Say: Energy Complexity of Computation (invited talk)
10:15-10:45 Coffee Break
Topic 1: Foundations
10:45-11:15 Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw A. Miszczak, Iain Phillips, Irek Ulidowski and German Vidal. Towards a Taxonomy for Reversible Computation Approaches
11:15-11:45 Markus Holzer and Christian Rauch. Computational Complexity of Reversible Reaction Systems
11:45-12:05 Clément Aubert. Replications in Reversible Concurrent Calculi (Short paper)
12:05-14:15 Lunch
Topic 2: Reversible Programming
14:15-14:45 Joachim Tilsted Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen. Tail recursion transformation for invertible functions
14:45-15:15 Niklas Deworetzki, Lukas Gail: Optimization of Reversible Control Flow Graphs
15:15-15:45 Coffee Break
15:45-16:15 Irek Ulidowski. Saving Memory Space in Deep Neural Networks by Recomputing: A Survey
16:15-16:35 Short Paper: Jonas Wolpers Reholt, Robert Glück and Matthis Kruse. Fewer Asserts, Statically (work-in-progress paper)
16:35-17:00 Summary Day 1
18:00 Conference Dinner in Kloster Schiffenberg (including bus transfer)
Wednesday 7/19/2023
9:00-9:15 THM VP of Research Jochen Frey
9:15-10:15 Robin Kaarsgaard: The Quantum Effect: A Recipe for Quantum Π (invited talk)
10:15-10:45 Coffee Break
Topic 3: Quantum Computing
10:45-11:15 Domenico Cantone, Simone Faro, and Arianna Pavone. Quantum String Matching Unfolded and Extended
11:15-11:45 Arend-Jan Quist and Alfons Laarman. Optimizing Quantum Space using Spooky Pebble Games
11:45-12:15 Raphael Seidel, Nikolay Tcholchev, Sebastian Bock and Manfred Hauswirth. Uncomputation in Qrisp
12:15-14:15 Lunch
Topic 4: Quantum Circuits
14:15-14:45 Matthew Amy, Andrew N. Glaudell, Sarah Meng Li and Neil J. Ross. Improved Synthesis of Toffoli-Hadamard Circuits
14:45-15:15 Kamalika Datta, Abhoy Kole, Indranil Sengupta and Rolf Drechsler. Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuits to 2-Dimensional Hexagonal Architecture
15:15-15:45 Abhoy Kole, Kamalika Datta, Philipp Niemann, Indranil Sengupta and Rolf Drechsler. Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures
15:45-16:05 Clément Aubert and Peter Browning. Implementation of Reversible Distributed Calculus (tool demonstration paper)
16:05-16:15 Closing and Adjourn
16:15 Coffee Break
Important dates :

Abstract submission:
February 13th, 2023 AOE (extended and strict)

Submission deadline:
February 20th, 2023 AOE (extended and strict)

Notification to authors:
April 10th, 2023

Final version:
May 1st, 2023

July 18th - July 19th, 2023

Program Chairs:

Martin Kutrib
Justus-Liebig-University Giessen, Germany

Uwe Meyer
Technische Hochschule Mittelhessen (University of Applied Sciences) Giessen, Germany