8:30-9:00 | Conference opening |
9:00-10:00 | Invited talk
Artur Ekert and Chiara Macchiavello |
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 |
2:00-3:00 | Invited talk
Martyn Amos, Steve Wilson, David A. Hodgson, Gerald Owenson,
and Alan Gibbons |
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 |
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 |
9:00-10:00 | Invited talk
Seth Lloyd |
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 |
2:00-3:00 | Invited talk
Arto Salomaa |
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 |
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 |
9:00-10:00 | Invited talk
John H. Reif |
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 |
2:00-3:00 | Invited talk
H. Jeff Kimble |
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 |
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 |
9:00-10:00 | Invited talk
Cristopher Moore |
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 |