 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 OneWay Functions Omer Reingold  Learning, Social Intelligence and the Turing Test: Why an outofthebox 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 InfoMetrics 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 EricssonZenith 

 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, Opentexture, and the
ChurchTuring Thesis Stewart Shapiro  On Mathematicians Who Liked Logic: The
Case of Max Newman Ivor GrattanGuinness 
Thursday 21st, 14:40  Bringing up Turing's ChildMachine 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  MetaAlgorithms versus Circuit Lower Bounds Valentine Kabanets  Modeling Gene Regulation of Morphogenesis Jaap Kaandorp  Panel discussion: Future Directions 