Preliminary Program (as of 2/10/05) for
RC ’05 – 1st Int’l Workshop on Reversible Computing
at the Computing Frontiers Conference
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.
(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 (
“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 (
“Two-state, Reversible, Universal Cellular Automata in Three Dimensions”
[30m] Paper #105, Tommaso Toffoli and Lev
“Specific ergodicity: An informative indicator for invertible computational media”
(Thursday, May 5, 9:00 am–6:00 pm)
Sub-session 1: Perspectives on Reversible Computing (9:00-11:00 am [2h])
[10m] Welcome & Opening Remarks, Michael P.
Frank, FAMU-FSU (
9:10-9:40 [30m] Invited keynote speech: Charles H. Bennett, IBM (USA)
“Is Information Physical, or is Physics Informational?”
[20m] Michael P. Frank, FAMU-FSU (
“Introduction to Reversible Computing: Motivation, Progress, and Challenges”
[30m] Paper #49:
Erik DeBenedictis, Sandia Nat’l Labs (
“Reversible Logic for Supercomputing” [invited talk]
Wolfgang Porod , Univ. of Notre
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])
[30m] Sarah Frost, Notre Dame (
Reversible Computing with Quantum Dots [invited talk]
[30m] Dmitri Averin
and Vasili Semenov, SUNY Stony Brook (
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
“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,
“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.
“Scaling Trends in Adiabatic Circuits”
Sub-session 4: Reversible Computing Theory (3:20-4:40 [1h20m + 30m break])
[30m] Paul Vitanyi, CWI (
“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
“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?
Michael P. Frank, FAMU-FSU (
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)
(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.
[30m] Paper #43, Edward Fredkin, CMU West
A Computing Architecture for Physics