Homepage RC2012

Home > Program


July 2nd, 2012
from 8.00 Registration
  Morning coffee
8.50-9.00 Opening Session
9.00-9.50 Invited Talk
The Physics of Information: from Maxwell's Demon to Landauer
Eric Lutz (Freie Universität Berlin, Germany)
Chair: Alexis De Vos
9.50-10.10 Coffee break
10.10-12.00 Session 1
Theoretical Considerations
Chair: Neil D. Jones

One-Way Reversible Multi-Head Finite Automata
Martin Kutrib, Andreas Malcher (Giessen University, Germany)

A Deterministic Two-Way Multi-Head Finite Automaton can be Converted into a Reversible one with the same Number of Heads
Kenichi Morita (Hiroshima University, Japan)

Undecidability of the Surjectivity of the Subshift Associated to a Turing Machine
Rodrigo Torres (University of Concepción, Chile), Nicolas Ollinger (University of Orléans, France), Anahí Gajardo (University of Concepción, Chile)

WiP: On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata
Katsunobu Imai (Hiroshima University, Japan), Bruno Martin (University Nice-Sophia Antipolis, France), Ryohei Saito (Hiroshima City Hall, Japan)

12.00-13.30 Lunch
13.30-15.20 Session 2
Reversible Software and Languages
Chair: Kenichi Morita

Isomorphic Interpreters from Logically Reversible Abstract Machines
Roshan P. James, Amr Sabry (Indiana University, USA)

Synthesizing Loops for Program Inversion
Cong Hou (Georgia Institute of Technology, USA), Daniel Quinlan, David Jefferson (Lawrence Livermore National Laboratory, USA), Richard Fujimoto, Richard Vuduc (Georgia Institute of Technology, USA)

Frugal Encoding in Reversible MOQA: A Case Study for Quicksort
Diarmuid Early, Ang Gao, Michel Schellekens (University College Cork, Ireland)

WiP: Towards a General-Purpose, Reversible Language for Controlling Self-Reconfigurable Robots
Ulrik Pagh Schultz (University of Southern Denmark, Denmark)

15.20-15.50 Coffee break
15.50-17.10 Session 3
Synthesis of Reversible Circuits

Chair: Robert Wille

Reversible and Quantum Circuit Optimization: A Functional Approach
Zahra Sasanian, D. Michael Miller (University of Victoria, Canada)

Optimal 4-bit Reversible Mixed-Polarity Toffoli Circuits
Marek Szyprowski (Warsaw University of Technology, Poland), Pawel Kerntopf (Warsaw University of Technology and University of Łódź, Poland)

WiP: A New Synthesis of Reversible and Quantum Realizations of Symmetric Boolean Functions
Arighna Deb (Institute of Engineering and Management, India), Debesh K. Das (Jadavpur University, India), Hafizur Rahaman (Bengal Engineering and Science University, India), Bhargab B. Bhattacharya (Indian Statistical Institute, India)

Tuesday July 3rd, 2012
  Morning coffee
9.00-10.30 Session 4
Quantum Circuits and Computation

Chair: D. Michael Miller

Tutorial: Graphical Calculus for Quantum Circuits
Bob Coecke (Oxford University, UK), Ross Duncan (Université libre de Bruxelles, Belgium)

A 2D Nearest-Neighbor Quantum Architecture for Factoring
Paul Pham (University of Washington, USA), Krysta M. Svore (Microsoft Research, USA)

Properties of Quantum Templates
Md. Mazder Rahman, Gerhard W. Dueck (University of New Brunswick, Canada)

10.30-10.50 Coffee break
10.50-12.00 Session 5
Physical Realizations and Design
Chair: Irek Ulidowski

Garbageless Reversible Implementation of Integer Linear Transformations
Stéphane Burignat, Kenneth Vermeirsch, Alexis De Vos (Ghent University, Belgium), Michael Kirkedal Thomsen (University of Copenhagen, Denmark)

WiP: Garbage-Free Integer Multiplication with Constants
Holger Bock Axelsen, Michael Kirkedal Thomsen (University of Copenhagen, Denmark)

WiP: Using π DDs in the Design for Reversible Circuits
Mathias Soeken, Robert Wille (University of Bremen, Germany), Shin-ichi Minato (Hokkaido University, Japan), Rolf Drechsler (University of Bremen, Germany)

12.00-13.30 Lunch
13.30-14.50 Session 6
Distributed Systems

Chair: Michel Schellekens

A Verification Technique for Reversible Process Algebra
Jean Krivine (Université Paris Diderot, France)

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
Iain Phillips (Imperial College London, UK), Irek Ulidowski (University of Leicester, UK), Shoji Yuen (Nagoya University, Japan)

WiP: Controlled Reversibility and Compensations
Ivan Lanese (University of Bologna, Italy), Claudio Antares Mezzina (FBK, Italy), Jean-Bernard Stefani (INRIA, France)

14.50-15.20 Coffee break
15.20-16.40 Session 7
Testing, Verification and Fault Tolerance

Chair: Pawel Kerntopf

Property Checking of Quantum Circuits Using Quantum Multiple-Valued Decision Diagrams
Julia Seiter, Mathias Soeken, Robert Wille, Rolf Drechsler (University of Bremen, Germany)

An Efficient Approach to Design Reversible Fault Tolerant Plessey Logic Block of Field Programmable Gate Arrays
Md. Shamsujjoha, Nazma Tara, Lafifa Jamal, Hafiz Md. Hasan Babu (University of Dhaka, Bangladesh)

WiP: Design of an Online Testable Ternary Circuit from the Truth Table
Noor M. Nayeem, Jacqueline E. Rice (University of Lethbridge, Canada)

16.40-16.50 Closing Session
from 17.00 Closing Reception

University of Copenhagen | info@reversible-computation.org | e