*************************PhysComp 94 Information*********************
			       Final 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:15  --- BREAK ---

Session 2:     Computing With Quantum Devices
----------     Chair: Gary Frazier

10:15 - 10:45  Resonant Tunneling Quantum Devices and Circuits
               Alan Seabaugh (Texas Instruments)

10:45 - 11:15  Quantum Cellular Automata: The Physics os Computing
               with Arrays of Quantum Dot Molecules
               Craig S. Lent, P. Douglas Tougaw,
               and Wolfgang Porod (Univ. Notre Dame)

11:15 - 11:45  Results on Two-Bit Gate Design for Quantum Computers
               David DiVincenzo (IBM)

11:45 - 12:15  Algebras and Architectures for Nanoelectronics
               Gary Frazier (Texas Instruments)


12:15 -  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  Multivalued Logic Strategies for large 
               nanoeletronic arrays
               Lutz Micheel (Wright Laboratory)

 3:00 -  3:30  --- BREAK ---

Session 4:     Architecture Issues for Computation
----------     Chair: Doug Matzke

 3:30 -  4:00  The Latest in Adiabatic Computing
               John Denker (AT&T)

 4:00 -  4:30  Impact of Locality and Dimensionality Limits
               on Architecture Trends
               Doug Matzke (Texas Instruments)

 4:30 -  5:00  Space, Time, Logic, and Things
               Dick Shoup (Interval Research)

 5:00 -  5:30  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:  Will PhysComp make an impact? 

Further information on reversible logic



This page is part of the nanotechnology web site.