| 1. Cryptography, Complexity, and
Randomness | 2. Turing Test and Thinking Machines | 3. Computational Models after Turing |
| Tuesday 19th, 14:00 | Curiouser and Curiouser: The Link between Incompressibility and Complexity
Eric Allender | Can humans be said to think?
Kevin Warwick | Computing? A Machine Imitating a Man in
an Alphanumeric Game
Giuseppe Longo |
| Tuesday 19th, 14:40 | The Axiomatic Power of Kolmogorov Complexity
Laurent Bienvenu | On the Road to Thinking Machines
Jiří Wiedermann | General Relativistic Computation, Black Hole Computing vs Wormhole Computing
Péter Németi |
| Tuesday 19th, 15:20 | The Many Entropies of One-Way Functions
Omer Reingold | Learning, Social Intelligence and the Turing Test: Why an out-of-the-box Turing Machine will not pass the
Turing Test
Bruce Edmonds | Is Turing's Thesis the Consequence of a Deeper Physical Principle?
Matthew Szudzik |
|
|
| 4. Morphogenesis/Emergence as Computability Theoretic Phenomenon | 5. Open Problems in the Philosophy of Information | 6. The Universal Turing Machine and the History of the Computer |
| Wednesday 20th, 14:00 | What about the Horse Part? Models of Multicellular Development
James Sharpe | On the Foundations and Philosophy of Info-Metrics
Amos Golan | Birth of the Universal Turing Machine
Jack Copeland
14:20 The Church Turing Thesis then and now
John Tucker |
| Wednesday 20th, 14:40 | John Reinitz | Robustness of Logical Depth
Luís
Antunes | Undecidable Propositions by
Fourier Series
Bruno Scarpellini |
| Wednesday 20th, 15:20 | Turing Pattern Formation Without Diffusion
Shigeru Kondo | Information and Logical Discrimination
Patrick Allo | Conceptions Of Locality In Logic
And Computation, A History
Steven Ericsson-Zenith |
|
|
| 2. Turing Test and Thinking Machines | 3. Computational Models after Turing | 6. The Universal Turing Machine and the History of the Computer |
| Thursday 21st, 14:00 | What are computers (if they are not thinking things)?
John Preston | Computability, Open-texture, and the
Church-Turing Thesis
Stewart Shapiro | On Mathematicians Who Liked Logic: The
Case of Max Newman
Ivor Grattan-Guinness |
| Thursday 21st, 14:40 | Bringing up Turing's Child-Machine
Susan Sterrett | How Reasoning differs from Computation
Michiel van Lambalgen | Why the ACE Had No Order Code
Mark Priestley |
| Thursday 21st, 15:20 | Panel discussion:
Future Directions |
Transfinite Dynamical Models
Philip Welch | Mathematics and the Turing Renaissance
Robert Soare |
|
| 1. Cryptography, Complexity, and
Randomness | 4. Morphogenesis/Emergence as Computability Theoretic Phenomenon | 5. Open Problems in the Philosophy of Information |
| Friday 22nd, 14:00 | Applying Cryptography, Complexity and Randomness to Game Theory
Lance Fortnow | Turing Patterns in Deserts
Jonathan Sherratt | Sets of Signals, Information Flow, and Folktales
Mark Finlayson |
| Friday 22nd, 14:40 | Game Arguments in Computability Theory and Algorithmic Information
Theory
Alexander Shen | From Turing to Wolpert, and Back Again
Nick Monk | Natural Information
Ruth Millikan |
| Friday 22nd, 15:20 | Meta-Algorithms versus Circuit Lower Bounds
Valentine Kabanets | Modeling Gene Regulation of Morphogenesis
Jaap Kaandorp | Panel discussion:
Future Directions |
Print this page
