Preliminary Program (as of 2/10/05) for
RC ’05 – 1st Int’l Workshop on Reversible Computing
at the Computing Frontiers Conference
Ischia, Italy, May 4-6, 2005


The dates and times of the talks are (supposedly) final now.  The talk titles that are not in quotation marks are not official titles, but they do suggest the topic.  Note: As of this writing, one or two of the invited speakers still need to be confirmed.  PLEASE NOTE, the set of associated talks listed here spans three different days, but the main body of the workshop will be in the special session on Thursday, May 5.


Track 1:  Non-conventional computing

(Wednesday, May 4, 11:20-12:50 am)


NOTE:  Several reversible computing papers were borrowed for this track of the regular conference.  RC’05 attendees are encouraged to attend these talks as well as the main workshop the next day.


11:20-11:50 [30m]          Paper #15, Alexis De Vos and Yvan Van Rentergem, Univ. Gent (Belgium)

“Reversible computing: from mathematical group theory to electronical circuit experiment”

11:50-12:10 [30m]          Paper #44, Daniel B. Miller and Edward Fredkin, CMU West (USA)

“Two-state, Reversible, Universal Cellular Automata in Three Dimensions”

12:10-12:50 [30m]          Paper #105, Tommaso Toffoli and Lev B. Levitin, Boston Univ. (USA)

“Specific ergodicity: An informative indicator for invertible computational media”


Special Session on Reversible Computing

(Thursday, May 5, 9:00 am–6:00 pm)


Sub-session 1:  Perspectives on Reversible Computing (9:00-11:00 am [2h])


9:00-9:10 [10m]              Welcome & Opening Remarks, Michael P. Frank, FAMU-FSU (USA)

9:10-9:40 [30m]              Invited keynote speech: Charles H. Bennett, IBM (USA)

“Is Information Physical, or is Physics Informational?”

9:40-10:00 [20m]            Michael P. Frank, FAMU-FSU (USA)

“Introduction to Reversible Computing: Motivation, Progress, and Challenges”

10:00-10:30 [30m]          Paper #49:  Erik DeBenedictis, Sandia Nat’l Labs (USA),

                                                Reversible Logic for Supercomputing” [invited talk]

10:30-11:00 [30m]          Wolfgang Porod, Univ. of Notre Dame (USA),

                                                Reversible Computing: A Skeptic’s Perspective [invited talk] [CANCELED]


11:00-11:20 [20m]                                   (MID-MORNING COFFEE BREAK)


Sub-session 2:  Novel Implementation Technologies (11:20-12:50 am [1h30m])


11:20-11:50 [30m]          Sarah Frost, Notre Dame (USA)

                                                Reversible Computing with Quantum Dots [invited talk]

11:50-12:20 [30m]          Dmitri Averin and Vasili Semenov, SUNY Stony Brook (USA)

                                                Reversible Superconducting Circuits [invited talk]

12:20-12:50 [30m]          Paper #25:  Erik Forsberg, KTH/Zhejiang U. (Sweden/China)

“Electron Waveguide Y-branch Switch: A Review and Arguments for its Use as a Base for Reversible Logic” [invited talk]


12:50-2:00 [1h10m]                                                (LUNCH BREAK)


Sub-session 3: Adiabatic and Energy-Recovery Circuits (2:00 pm-3:20 pm [1h20m])

2:00-2:20 [20m]              Paper #98:  V. Sathe, J.-y. Chueh, J. Kim, C.H. Ziesler, S. Kim, M.C. Papaefthymiou, Univ. of Michigan (USA), Seoul Nat’l U. (Korea), MultiGig, Inc.

“Fast, Efficient, Recovering, and Irreversible”

2:20-2:40 [20m]              Paper #74:  S. Henzler, T. Nirschl, M. Eireiner, E. Amirante, D. Schmitt-Landseidel, Tech. Univ. Munich (Germany)

“Making Adiabatic Circuits Attractive for Today’s VLSI Industry: Adiabatic Mode Circuits”

2:40-3:00pm [20m]         Paper #76:  Seokkee Kim and Soo-Ik Chae, Seoul Nat’l Univ. (Korea)

“Implementation of a simple 8-bit microprocessor with reversible energy recovery logic”

3:00-3:20 [20m]              Paper #82:  J. Fischer, P. Teichmann, A. Gargagli-Stoffi, E. Amirante, D. Schmitt-Landseidel, Tech. Univ. Munich (Germany) & Infineon

“Scaling Trends in Adiabatic Circuits”


Sub-session 4: Reversible Computing Theory (3:20-4:40 [1h20m + 30m break])


3:20-3:50 [30m]              Paul Vitanyi, CWI (Netherlands)

“Time, Space and Energy in Reversible Computing” [invited talk]


3:50-4:20 [30m]                                    (MID-AFTERNOON COFFEE BREAK)


4:20-4:50 [30m]              Colin Williams, NASA JPL (USA) [pending confirmation]

Reversible Logic Circuit Optimization [invited talk]

4:50-5:10 [20m]              Paper #107, Lev B. Levitin and Tommaso Toffoli, Boston Univ. (USA)

“Thermodynamical cost of reversible computing” [invited talk]


(10-min. break, rearrange room for panel)


5:20–6:20 [60m]             PANEL DISCUSSION:  What next steps should the field take?

                                                Moderator: Michael P. Frank, FAMU-FSU (USA)

                                                Invited panel members include: Baker, Bennett, Porod, Vitanyi

                                                (Additional panelists may be added.  Audience members are also

                                                                welcome to participate in the discussions.)


6:20 pm                                                        (END OF SPECIAL SESSION)


Track 13:  Special-Purpose Architectures

(Friday, May 6, 10:00-11:00 am)


Reversible computing workshop attendees are also encouraged to attend the following extra talk by reversible logic pioneer Ed Fredkin.  The exact time is subject to change.


10:00-10:30 [30m]          Paper #43, Edward Fredkin, CMU West (USA)

                                                A Computing Architecture for Physics