Wednesday |
September 12th, 2018. University of Leicester, Henry Wellcome Building, Ground Floor, Frank and Katherine May Lecture Theatre
|
14.00-14.30 |
Registration |
14.30-14.40 |
Opening
|
14.40-15.40 |
Invited Talk 1: Ivan Lanese (Chair: Iain Phillips)
|
|
From Reversible Semantics to Reversible Debugging
|
15.40-16.10 |
(Chair: Iain Phillips)
|
|
On Reversibility and Broadcast
Claudio Antares Mezzina
|
16.10-16.40 |
Coffee Break |
16.40-18.00 |
Session 1 (Chair: Ivan Lanese)
|
|
Reversible Computation in Petri Nets
Anna Philippou and Kyriaki Psara
Event structure semantics of (controlled) reversible CCS
Eva Graversen, Iain Phillips and Nobuko Yoshida
Base Excision Repair in the Calculus of Covalent Bonding
Stefan Kuhn
|
|
|
Thursday |
September 13th, 2018. University of Leicester, Ken Edwards Building, Lecture Theatre 1 |
08.30-09.00 |
Registration |
09.00-10.00 |
Invited Talk 2: Norman Margolus (Chair: Michael P. Frank)
|
|
Finite-State Classical Mechanics
|
10.00-10.30 |
Tutorial
|
|
A unified approach to quantum computation and classical
reversible computation
Alexis De Vos and Stijn De Baerdemacker
|
10.30-11.00 |
Coffee Break |
11.00-12.30 |
Session 2 (Chair: Michael Kirkedal Thomsen)
|
|
ZX-Rules for 2-qubit Clifford+T Quantum Circuits
Bob Coecke and Quanlong Wang
Quantum circuits for floating-point arithmetic
Thomas Haener, Mathias Soeken and Martin Roetteler
SAT-based {CNOT, T} quantum circuit synthesis
Giulia Meuli, Mathias Soeken and Giovanni De Micheli
|
12.30-14.00 |
Lunch |
14.00-15.00 |
Invited Talk 3: Michael P. Frank (Chair: Robert Wille)
|
|
Physical Foundations of Landauer's Principle
|
15.00-15.30 |
(Chair: Robert Wille)
|
|
Ballistic reversible gates matched to bit storage:
Fluxon gates for an efficient CNOT
Kevin Osborn and Waltraut Wustmann
|
15.30-16.00 |
Coffee Break |
16.00-17.30 |
Session 3 (Chair: Mathias Soeken)
|
|
Finding the redundant gates in reversible circuits
Matthias Pfuhl, Jörg Ritter and Paul Molitor
Multi-Objective Synthesis of Quantum Circuits
Using Genetic Programming
Moein Sarvaghad-Moghaddam, Philipp Niemann and
Rolf Drechsler
Quantum Circuit Optimization by Changing the Gate Order
for 2D Nearest Neighbor Architectures
Wakaki Hattori and Shigeru Yamashita
QMDD-based One-pass-design of Reversible Logic:
Exploring the Available Degree of Freedom
Alwin Zulehner and Robert Wille
|
19.00-22.30 |
Social Event at the National Space Centre, Leicester. This includes the talk Discrete Space-Time-State Physics by Edward F. Fredkin (Distinguished Career Professor, Carnegie Mellon University, Pittsburgh, USA).
|
|
|
Friday |
September 14th, 2018. University of Leicester, Ken Edwards Building, Lecture Theatre 1 |
10.00-11.00 |
Invited Talk 4: Nicolas Ollinger (Chair: Jarkko Kari)
|
|
On Aperiodic Reversible Turing Machines
|
11.00-11.30 |
Coffee Break |
11.30-12.30 |
Session 4 (Chair: Ulrik Pagh Schultz)
|
|
Garbage-Free Reversible Multiplication and Division
Torben Ægidius Mogensen
Data Structures and Dynamic Memory Management
in Reversible Languages
Martin Holm Cservenka, Robert Glück, Tue Haulund and
Torben Ægidius Mogensen
|
12.30-14.00 |
Lunch |
14.00-15.30 |
Session 5 (Chair: Claudio Antares Mezzina)
|
|
Checkpoint/rollback vs causally-consistent reversibility
Martin Vassor and Jean-Bernard Stefani
CoreFun: A Typed Functional Reversible Core Language
Petur Højgaard Jacobsen, Robin Kaarsgaard and
Michael Kirkedal Thomsen
Reversible Object-Oriented Programming with Region-based
Memory Management
Ulrik Schultz
|
15.30-16.00 |
Coffee Break |
16.00-17.00 |
Session 6 (Chair: Emilio Tuosto)
|
|
Encryption and Reversible Computations
Dominik Taborsky, Ken Friis Larsen and Michael Kirkedal Thomsen
A Library of Reversible Circuit Transformations
Christian Hutslar, Jacques Carette and Amr Sabry
Reversibility in space, time, and computation: the case of underwater acoustic communications
Harun Siljak
|
17.00 |
Close |