| Monday |
July 4th, 2011
|
| from 9.00 |
Registration |
| 9.45-10.00 |
Opening Session |
| 10.00-11.10 |
Theoretical Considerations
Chair: Tetsuo Yokoyama
|
|
Time Complexity of Tape Reduction for Reversible Turing Machines
Holger Bock Axelsen (University of Copenhagen)
WiP: Reversible Multi-Head Finite Automata and Languages Accepted by Them
Kenichi Morita (Hiroshima University)
WiP: Reversible Higher-order Computations
Ian Mackie (Ecole Polytechnique, Palaiseau) |
| 11.10-11.40 |
Coffee break |
| 11.40-12.40 |
Reversible Software Languages
Chair: Kenichi Morita
|
|
WiP: Towards a Reversible Functional Language
Tetsuo Yokoyama (Nanzan University), Holger Bock Axelsen, Robert Glück (University of Copenhagen)
WiP: A High-Level Reversible Language with a Wide Range of Possible Operations, Developed on the Reversible FORTH Platform
Campbell Ritchie, Bill Stoddart (Teesside University)
WiP: Dagger Traced Symmetric Monoidal Categories and Reversible Programming
William J. Bowman, Roshan P. James, Amr Sabry (Indiana University) |
| 12.40-14.30 |
Lunch |
| 14.30-15.20 |
Synthesis of Reversible Circuits I
Chair: D. Michael Miller
|
|
Synthesis of Reversible Circuits with Minimal Lines for Large Functions
Mathias Soeken, Robert Wille, Christoph Hilken, Nils Przigoda, Rolf Drechsler (University of Bremen)
WiP: Synthesis of Reversible Cascades from Relational Specifications
Martin Lukac (Tohoku University), Marek Perkowski (Portland State University), Michitaka Kameyama (Tohoku University), Nouraddin Alhagi (Portland State University), Pawel Kerntopf (University of Lodz) |
| 15.20-15.50 |
Coffee break |
| 15.50-16.30 |
Recent Research Overview & Tool Tutorial
Chair: Irek Ulidowski
|
|
Short Presentation: Research on Reversible Computation in the Year 2010
Pawel Kerntopf (Warsaw University of Technology)
Tutorial: Customized Design Flows for Reversible Circuits using RevKit
Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler (University of Bremen) |
| 18.00 |
Social Event (further information at this page) |
| |
|
| Tuesday |
July 5th, 2011 |
| 9.40-10.50 |
Physical Realizations
Chair: Holger Axelsen
|
|
Towards the Limits of Cascaded Reversible (Quantum-inspired) Circuits
Stéphane Burignat, Mariusz Olczak, Michal Klimczak, Alexis De Vos (Universiteit Gent)
Interfacing Reversible Pass-transistor CMOS Chips with Conventional Restoring CMOS Circuits
Stéphane Burignat (Universiteit Gent) , Michael Kirkedal Thomsen (University of Copenhagen), Michal Klimczak, Mariusz Olczak, Alexis De Vos (Universiteit Gent)
Short Introduction to the Exposition |
| 10.50-11.20 |
Coffee break |
| 11.20-12.10 |
Reversible Processor and Testing
Chair: Mattias Soeken
|
|
A Reversible Processor Architecture and its Reversible Logic Design Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück (University of Copenhagen)
WiP: Redundancy in Reversible Circuits
Pranay Kumar Saha (B. P. C. Institute of Technology), Pradyut Sarkar (Simplex Infrastructures Limited), Susanta Chakraborty (Bengal Engineering and Science University) |
| 12.10-14.00 |
Lunch |
| 14.00-14.50 |
Synthesis of Reversible Circuits II
Chair: Pawel Kerntopf
|
|
Optimization of Reversible Circuits using Reconfigured Templates
Mazder Rahman, Gerhard W. Dueck (University of New Brunswick), Anindita Banerjee (Jaypee Institute of Information Technology)
WiP: Hybrid Reed Muller - De Morgan Expressions for Reversible Computing Circuits
Claudio Moraga (European Centre for Soft Computing) |
| 14.50-15.20 |
Coffee break |
| 15.20-16.50 |
Quantum Circuits and Computation
Chair: Stijn De Baerdemacker
|
|
Quantum vs. Deterministic Queries on Permutations
Alina Vasilieva, Taisia Miscenko-Slatenkova, Rusins Freivalds, Ruslans Tarasovs (University of Latvia)
Transforming MCT Circuits to NCVW Circuits
Zahra Sasanian, D. Michael Miller (University of Victoria)
Changing the Gate Order for Optimal LNN Conversion
Atsushi Matsuo, Shigeru Yamashita (Ritsumeikan University)
|
| 17.00-17.10 |
Closing Session |
| from 17.10 |
Closing Reception |
