A Satellite Workshop of ETAPS 2009
| Time | Author(s) | Title |
|---|---|---|
| 9.00 | Workshop Participants | Registration |
| Session 1 | Chair: Irek Ulidowski | |
| 9.15 | Irek Ulidowski | Welcome |
| 9.30 | Tommaso Toffoli | Invited Talk: From such simple a beginning: The momentous consequences of microscopic physics' reversibility for communication and computation-and for almost everything else |
| 10.30 | Break | |
| Session 2 | Chair: Iain Phillips | |
| 11.00 | Alexis De Vos | Invited Talk: Reversible computer hardware. Slides |
| 12.00 | Bill Stoddart, Robert Lynas and Frank Zeyda | A reversible virtual machine. Slides |
| 12.30 | Lunch | |
| Session 3 | Chair: Alexis De Vos | |
| 14.00 | Kenichi Morita | Invited Talk: Universality issues in reversible computing systems and cellular automata. Slides |
| 15.00 | Robert Wille and Rolf Drechsler | Effect of BDD optimization on synthesis of reversible and quantum logic. Slides |
| 15.30 | Break | |
| Session 4 | Chair: Bill Stoddart | |
| 16.00 | Tetsuo Yokoyama | Invited Tutorial: Reversible computation and reversible programming languages. Slides |
| 17.00 | Michael Kirkedal Thomsen, Robert Glück and Holger Bock Axelsen | Towards designing a reversible processor architecture. Slides |
| 17.20 | Michel Schellekens, Diamuid Early, Emanuel Popovici and Dilip Vasudevan | A high level reversible language for modular average case analysis. Slides |
| 17.40 |
|
|
| 18.00 | Tomoo Yokoyama and Tetsuo Yokoyama | Functoriality in reversible circuits. Slides |
| Closing | ||
| 18:20 | Irek Ulidowski | Closing remarks |