|
Home > Program
Program
Monday |
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)
|
|
Banquet |
|
|
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 |
|
|
|