Programme

Programme

All times are in Oslo time (UTC+02:00).

The accepted papers are available during the conference following this link: https://link.springer.com/book/10.1007/978-3-030-52482-1

Join the conference at this link: https://uio.zoom.us/j/61514271701

Day 1 – July 9, 2020

08:50–09:00
Opening
Keynote 1 (Session chair: Ivan Lanese)
9:00–10:00
Problems and prospects for bidirectional transformations
Perdita Stevens
10:00–10:30
Break
Session 1 (Session chair: Luca Paolini)
10:30–11:00
Reversible Occurrence Nets and Causal Reversible Event Structures
Hernan Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna and Irek Ulidowski
11:00–11:30
Event structures for the reversible early internal pi-calculus
Eva Graversen, Iain Phillips and Nobuko Yoshida
11:30–12:00
Involutory Turing Machines
Keisuke Nakano
12:00–14:00
Lunch break
Session 2 (Session chair: Rudolf Schlatte)
14:00–14:30
Hermes: A Language for Light-Weight Encryption
Torben Ægidius Mogensen
14:30–15:00
Reversible programming languages capturing complexity classes
Lars Kristiansen
15:00–15:30
On the expressivity of total reversible programming languages
Armando Matos, Luca Paolini and Luca Roversi
15:30–16:00
Break
Session 3 (Session chair: Irek Ulidowski)
16:00–16:20
WiP: Toward a Curry-Howard Correspondence for Linear, Reversible Computation
Kostia Chardonnet, Alexis Saurin and Benoît Valiron
16:20–16:40
WiP: Towards a formal account for software transactional memory
Doriana Medić, Claudio Antares Mezzina, Nobuko Yoshida and Iain Phillips
16:40–17:00
WiP: Encoding Reversing Petri Nets in Answer Set Programming
Yannis Dimopoulos, Eleftheria Kouppari, Anna Philippou and Kyriaki Psara
slides pdf, pptx
17:00–17:25
Tool: ReverCSP: Time-travelling in CSP computations
Carlos Galindo, Naoki Nishida, Josep Silva and Salvador Tamarit

Day 2 – July 10, 2020

08:50–09:00
Opening
Keynote 2 (Session chair: Mariusz Rawski)
09:00–10:00
Keynote: Inverse Problems, Constraint Satisfaction, Reversible Logic, Invertible Logic and Grover Quantum Oracles for Practical Problems
Marek Perkowski
slides pdf, pptx
10:00–10:30
Break
Session 4 (Session chair: Marek Perkowski)
10:30–11:00
Fractional Types: Expressive and Safe Space Management for Ancilla Bits
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette and Amr Sabry
11:00–11:30
Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel and Cyril Allouche
11:30–12:00
Maximality of reversible gate sets
Tim Boykett
12:00–14:00
Lunch break
Session 5 (Session chair: Claudio Moraga)
14:00–15:00
A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper
Peng Fu, Kohei Kishida, Neil J. Ross and Peter Selinger
15:00–15:30
Search-based Transformation Synthesis for 3-valued Reversible Circuits
Gerhard Dueck and Michael Miller
15:30–16:00
Break
Session 6 (Session chair: Robert Glueck)
16:00–16:25
Tool: Reversible Computations in Logic Programming
German Vidal
16:25–16:50
Tool: A Reversible Runtime Environment for Parallel Programs
Takashi Ikeda and Shoji Yuen
16:50–17:00
Closing Session
Important dates:

Abstract submission:
February 7, 2020

Submission deadline:
February 14, 2020

Notification to authors:
March 20, 2020

Final version:
April 10, 2020

Conference:
July 9 - July 10, 2020

General Chair:

Rudolf Schlatte
University of Oslo, Norway

Program Chairs:

Ivan Lanese
University of Bologna/INRIA, Italy

Mariusz Rawski
Warsaw University of Technology, Poland
Impress | Contact