Programme for

First International Conference on
UNCONVENTIONAL MODELS OF COMPUTATION

CDMTCS, NZ
Santa Fe Institute, USA

5-9 January 1998, Auckland, New Zealand


Session Monday Morning (M1)

8:30-9:00 Conference opening
9:00-10:00 Invited talk

Artur Ekert and Chiara Macchiavello
An Overview of Quantum Computing

10:00-10:30 Coffee break
10:30-12:20 Contributed talks
10:30-11:00 Mark H. Butler, Ray C. Paton, and Paul H. Leng
Unconventional Approaches for Biologically Inspired Computing
11:10-11:40 Peter Hertling
Embedding Cellular Automata into Reversible Ones
11:50-12:20 Gheorghe Paun
Distributed Architectures in DNA Computing Based on Splicing: Limiting the Size of Components
12:30-2:00 Lunch break

Session Monday Afternoon (M2)

2:00-3:00 Invited talk

Martyn Amos, Steve Wilson, David A. Hodgson, Gerald Owenson, and Alan Gibbons
Practical Implementation of DNA Computations

3:00-3:30 Coffee break
3:30-5:30 Contributed talks
3:30-4:00 Michael Frank, Tom Knight, and Norm Margolus
Reversibility in Optimally Scalable Computer Architectures
4:10-4:40 Yuzhen Ge, Layne T. Watson, and Emmanuel G. Collins, Jr.
Genetic Algorithms for Optimization on a Quantum Computer
4:50-5:20 Thomas F. Knight, Jr. and Gerald Jay Sussman
Cellular Gate Technology

Session Monday Evening (Poster I)

5:40-5:55 Ioannis Antoniou
Probabilistic Computation of Complex Systems
6:00-6:15 Chris E. Stout
Emmortality: The Project of a Lifetime
6:20-6:35 Manfred Weick
Quantum-, DNA-Computer and Molecular Electronics: Different Sides of the Same Coin

Session Tuesday Morning (T1)

9:00-10:00 Invited talk

Seth Lloyd
Unconventional Quantum Computing Devices

10:00-10:30 Coffee break
10:30-12:30 Contributed talks
10:30-11:00 Gordon Alford
Explicitly Constructing Universal Extended H Systems
11:10-11:40 Rudolf Freund and Valeria Mihalache
Molecular Computations on Circular and Linear Strings
11:50-12:20 Herbert Wiklicky
Quantitative Computation by Hilbert Machines
12:30-2:00 Lunch break

Session Tuesday Afternoon (T2)

2:00-3:00 Invited talk

Arto Salomaa
Turing, Watson-Crick and Lindenmayer: Aspects of DNA Complementarity

3:00-3:30 Coffee break
3:30-5:30 Contributed talks
3:30-4:00 Hideaki Matsueda
Spatiotemporal Evolution of Quantum Entangled Pure States in Quantum Computing Solid Block Circuits
4:10-4:40 Karl Svozil
The Church-Turing Thesis as a Guiding Principle for Physics
4:50-5:20 B. Jack Copeland
Even Turing Machines Can Compute Uncomputable Functions

Session Tuesday Evening (Poster II)

5:40-5:55 Tim Boykett
Algebraic Aspects of Reversible Computation: Radius 1/2 Reversible CA
6:00-6:15 Mircea Gh. Negoita
Evolutionary Computation in Evolvable Hardware Implementation

All Day Excursion (Wednesday)


Session Thursday Morning (H1)

9:00-10:00 Invited talk

John H. Reif
Paradigms for Biomolecular Computation

10:00-10:30 Coffee break
10:30-12:30 Contributed talks
10:30-11:00 Michael Frank, Carlin Vieri, M. Josephine Ammer, Nicole Love, Norman H. Margolus, and Thomas F. Knight, Jr.
A Scalable Reversible Computer in Silicon
11:10-11:40 Elena Calude and Marjo Lipponen
Deterministic Incomplete Automata: Simulation, Universality and Complementarity
11:50-12:20 Boris Pavlov, Gary Roach, and Adil Yafyasov
Resonance Scattering and Design of Quantum Gates
12:30-2:00 Lunch break

Session Thursday Afternoon (H2)

2:00-3:00 Invited talk

H. Jeff Kimble
Implementing Quantum Logic and Communication via Cavity QED

3:00-3:30 Coffee break
3:30-5:30 Contributed talks
3:30-4:00 Karl Gustafson
Ergodic Learning Algorithms
4:10-4:40 Mitsunori Ogihara and Animesh Ray
The Minimum DNA Computation Model and its Computational Power
4:50-5:20 Yuzuru Sato, Makoto Taiji, and Takashi Ikegami
Self-Similar Sets as Satisfiable Boolean Expressions

Session Thursday Evening (Poster III)

5:30-5:45 Toshio Fukumi
Strongly Repeatable Quantum Instruments
5:50-6:05 Hidemi Nagao, Toshio Fukumi, Kenji Kamada, and Koji Ohta
Molecular Design of Quantum Logics

Conference Dinner (Thursday Evening)


Session Friday Morning (F1)

9:00-10:00 Invited talk

Cristopher Moore
Finite-Dimensional Analog Computers: Flows, Maps, and Recurrent Neural Networks

10:00-10:30 Coffee break
10:30-12:30 Contributed talks
10:30-11:00 Alexandru Mateescu
Splicing on Routes: A Framework of DNA Computation
11:10-11:40 Lakshmi Narayanaswamy and Peter M. Kogge
Combinators and Processing-In-Memory: An Unconventional Basis for Avoiding the Memory Wall
11:50-12:20 Carlin Vieri, M. Josephine Ammer, Amory Wakefield, Lars `Johnny' Svensson, William Athas, and Tom Knight
Designing Reversible Memory
12:30-1:00 Conference closing