Homepage RC2010

Home > Program


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

The Department | Uni Gent
Universiteit Gent | info@reversible-computation.org | e