Preliminary Program
Workshop Physics and Computation, PhysComp 94
Harvey Hotel-Addison
====================================================================
==================== Wednesday pm, Nov 16, 1994 ===================
6:00 - 9:00 Registration, Reception, and cash bar
====================================================================
==================== Thursday am, Nov 17, 1994 ===================
7:30 - 8:30 --- Continental Breakfast ---
Session 1: The Technologist's Perspective on Nanoelectronics
---------- Chair: Gary Frazier
8:30 - 9:00 Integrated Circuits, Nanoelectronics, and
21st Century Electronic Systems
Bob Bate (Texas A&M University)
9:00 - 9:30 The Life Expectancy of CMOS Technology
Bob Doering (Texas Instruments)
9:30 - 10:00 Research Toward Nanoelectronic Computing
Technologies in Japan
Rick Kiehl (Fujitsu)
10:00 - 10:30 --- BREAK ---
Session 2: Computing With Quantum Devices
---------- Chair: Gary Frazier
10:30 - 11:00 Resonant Tunneling Quantum Devices and Circuits
Alan Seabaugh (Texas Instruments)
11:00 - 11:30 Quantum Cellular Automata: The Physics of Computing
with Arrays of Quantum Dot Molecules
Craig S. Lent, P. Douglas Tougaw,
and Wolfgang Porod (Univ. Notre Dame)
11:30 - 12:00 Results on Two-Bit Gate Design for Quantum Computers
David DiVincenzo (IBM)
12:00 - 1:30 --- LUNCH ---
====================================================================
==================== Thursday pm =================================
Session 3: Architecture Issues in Nanoelectronics
---------- Chair: Wolfgang Porod
1:30 - 2:00 Horizons of Parallel Computation
Gianfranco Bilardi (University of Padova)
2:00 - 2:30 Multiprocessor Architectures and Physical Law
Paul Vitanyi (CWI / Univ. of Amsterdam)
2:30 - 3:00 Algebras and Architectures for Nanoelectronics
Gary Frazier (Texas Instruments)
3:00 - 3:30 Computing with quantum devices - Can We Use the Room Below?
Brosl Hasslacher (Los Alamos National Labs)
3:30 - 3:45 --- BREAK ---
Session 4: Architecture Issues for Computation
---------- Chair: Doug Matzke
3:45 - 4:15 The Latest in Adiabatic Computing
John Denker (AT&T)
4:15 - 4:45 Impact of Locality and Dimensionality Limits
on Architecture Trends
Doug Matzke (Texas Instruments)
4:45 - 5:15 Space, Time, Logic, and Things
Dick Shoup (Interval Research)
5:15 - 5:45 Space and Time in Computation, Topology
and Discrete Physics
Louis H. Kauffman (Univ. Illinois at Chicago)
====================================================================
==================== FRIDAY am, Nov 18, 1994 =====================
8:00 - 9:00 --- Continental Breakfast ---
Session 5: KEYNOTE ADDRESS
---------- General Chair: Doug Matzke
9:00 - 10:00 Computation in Analog and Digital Physical Systems
Carver Mead (Cal Tech)
10:00 - 10:30 --- BREAK ---
Session 6: QUANTUM COMPUTERS
---------- Chair: Bill Frensley
10:00 - 10:30 Is Quantum Mechanics Useful?
Rolf Landauer (IBM)
10:30 - 11:00 The Stabilisation of Quantum Computations
Andre Berthiaume (Univ. Montreal), David Deutsch
(Univ. Oxford), and Richard Jozsa (Univ. Plymouth)
11:00 - 11:20 Can Quantum Computers Have Simple Hamiltonians?
Michael Biafore (MIT)
11:20 - 11:40 Quantum Oblivious Transfer Is Secure Against All
Individual Measurements
Dominic Mayers and Louis Salvail (Univ. Montreal)
11:40 - 1:30 --- LUNCH ---
====================================================================
==================== FRIDAY pm ===================================
Session 7: QUANTUM COMPUTATION
---------- Chair: Wolfgang Porod
1:30 - 2:15 A Fast Algorithm for Factoring on Quantum Computers
Peter Shor (AT&T)
2:15 - 3:00 Decoherence and Quantum Computers- A Problem
Bill Unruh (Univ. B. C., Vancouver)
3:00 - 3:30 --- BREAK ---
Session 8: PHYSICS as COMBINATORIAL COMPUTATION
---------- Chair: Riley Jackson
3:30 - 4:00 Physical Parallelism and Computation
Keith Bowden (Univ. East London)
4:00 - 4:30 Bit-String Physics: A Novel "Theory of Everything"
H. Pierre Noyes (Stanford Univ.)
4:30 - 5:00 Toward an Information Mechanics
Michael Manthey (Aalborg Univ.)
====================================================================
==================== SATURDAY am, Nov 19, 1994 ====================
7:30 - 8:30 --- Continental Breakfast ---
Session 9: REVERSIBLE LOGIC
---------- Chair: Paul Vitanyi
8:30 - 9:00 Reversible Logic Issues in Adiabatic CMOS
Bill Athas and Lars Svensson (USC)
9:00 - 9:20 Thermal Logic Circuits
J. G. Koller, W. C. Athas, and L. J. Svensson (USC)
9:20 - 9:40 A Reversible Instruction Set Architecture and Algorithms
J. Storrs Hall (Rutgers Univ.)
9:40 - 10:00 Encoded Arithmetic for Reversible Logic
Akhilesh Tyagi (Iowa State Univ.)
10:00 - 10:30 --- BREAK ---
Session 10: CELLULAR AUTOMATA & REVERSIBLE CA
----------- Chair: Andrew Ilachinski
10:30 - 11:00 Some Results on Invertible Cellular Automata
Andrea Clementi, Patrizia Mentrasti (Univ. Roma),
and Pierluigi Pierini (MIT)
11:00 - 11:30 On the Average-Case Complexity of the Reversibility
Problem for Finite Cellular Automata
Andrea Clementi (Univ. Roma), Pierluigi Pierini (MIT),
and Russell Impagliazzo (UC San Diego)
11:30 - 12:00 Necessary and Sufficient Conditions for Reversibility in
One Dimensional Cellular Automata
Jose Alberto Baptista Tome (INESC Lisbon)
not presenting Coupling Computations Through Space
Pedro P. B. de Oliveira (Nat'l Inst. Space Res., Brazil)
12:00 - 1:30 --- LUNCH ---
====================================================================
========================= SATURDAY pm ============================
Session 11a: QUANTUM COMPUTATION
------------ Chair: Bill Frensley
1:30 - 1:50 Quantum Waveguide Structures and Devices
Stephen M. Goodnick, A. Weisshaar, A. Ecker,
and V. K. Tripathi (Oregon State Univ.)
1:50 - 2:10 On a Method of Solving SAT Efficiently Using
the Quantum Turing Machine
Takashi Mihara and Tetsuro Nishino
(Japan Adv. Inst. Sci. & Technol.)
2:10 - 2:30 Chu Spaces: Automata with Quantum Aspects
Vaughan Pratt (Stanford Univ.)
Session 11b: STATISTICAL MECHANICS and INFORMATION
------------ Chair: Riley Jackson
2:30 - 2:50 Statistical Mechanics of Combinatorial Search
Tad Hogg (Xerox PARC)
2:50 - 3:10 Phase Transitions and Coarse-Grained Search
Colin P. Williams and Tad Hogg (Xerox PARC)
3:10 - 3:30 --- BREAK ---
Session 12: ENTROPY and INFORMATION
----------- Chair: Andrew Ilachinski
3:30 - 4:00 The Boltzmann Entropy and Randomness Tests
Peter Gacs (Boston Univ.)
4:00 - 4:20 Entropy Cost of Information
Paul N. Fahn (Stanford Univ.)
4:20 - 4:40 The Complexity and Entropy of Turing Machines
Paul A. Dufort and Charles J. Lumsden (Univ. Toronto)
4:40 - 5:00 A Fast Algorithm for Entropy Estimation of Grey-Level Images
Salvatore D. Morgera and Jihad M. Hallik (McGill Univ.)
6:30 - 9:00 --- Reception, cash bar, and Banquet ---
Making waves with our troubadour
Gilles Brassard (Universit\'e de Montr\'eal
and Ecole Normale Sup\'erieure)
====================================================================
====================== SUNDAY am, Nov 20, 1994 ===================
7:30 - 8:30 --- Continental Breakfast ---
Session 13: PARALLEL COMPUTATION
----------- Chair: Sharad Saxena
8:30 - 9:00 Computational Spacetimes
E. Theodore L. Omtzigt (Intel)
9:00 - 9:20 Evolution, Entropy, and Parallel Computation
Kurt Thearling (Thinking Machines)
9:20 - 9:40 On Physical Models of Neural Computation and Their
Analog VLSI Implementation
Andreas G. Andreou (Johns Hopkins Univ.)
9:40 - 10:00 Analog Computation with Continuous ODEs
Michael S. Branicky (MIT)
10:00 - 10:30 --- BREAK ---
Session 14: Panel session on Physics and Computation
----------- Chair: John Denker
10:30 - 12:00 Topic: How will PhysComp make an impact?
==============================================================================
==============================================================================