| Time | Event | Speaker |
|---|
| Friday June 22, 2012 (University Place) | ||
|---|---|---|
| 18:30 – 20:00 | Evening invited talk for the General Public: Alan Turing, Pioneer of the Information Age | Jack Copeland  |
| Saturday June 23, 2012 (Turing Centenary Day) Manchester Town Hall (Manchester Town Hall) | ||
|---|---|---|
| 08:50 – 09:00 | Conference opening | Barry Cooper, Steve Furber, Andrei Voronkov. |
| 09:00 – 10:00 | Opening invited talk: Turing's Legacy in the Networked World | Vint Cerf  |
| 10:00 – 11:00 | Invited talk: Turing, Church, Gödel, Computability, Complexity and Randomization - a Personal Perspective | Michael Rabin  |
| Coffee break | ||
| 11:30 – 12:30 | Invited talk: Alan Turing and Number Theory | Yuri Matiyasevich  |
| Lunch | ||
| 13:30 – 14:30 | Invited talk: Beyond Jeopardy! The Future of Watson | David Ferrucci  |
| 14:30 – 15:30 | Invited talk: Turing's Cryptography from a Modern Perspective | Adi Shamir  |
| Coffee break | ||
| 15:45 – 16:45 | Invited talk: Pilot ACE Architecture in Context | Frederick P. Brooks  |
| 16:45 – 18:15 | Turing Fellowships and Scholars Award Ceremony Laudation (awards to be handed over) – 2 invited talks by selected winners (30 minutes each) |
|
| Invited Talk: Building Pattern: Synthetic Biology as a Tool for Exploring Emergent Systems | Paul Grant  |
|
| Invited Talk: Computational Universality, Chaos, and Computing with Real Numbers | Mark Braverman  |
|
| 18:15 – Close | Reception | |
| Sunday, June 24, 2012 (Manchester Town Hall) | |||
|---|---|---|---|
| 09:00 – 10:00 | Invited talk: Quantum Computing: A Great Science in the Making | Andrew Chi-Chih Yao |
|
| 10:00 – 11:00 | Model Checking and the Curse of Dimensionality |
Edmund Clarke |
|
| 11:00 – 11:30 | Coffee break |  |
|
| 11:30 – 12:30 | Invited talk: Can Computers Understand Their Own Programs? | Tony Hoare  |
|
| 12:30 – 14:00 | Lunch & Poster Session | ||
| 14:00 – 15:00 | Invited talk: Symbiotic Autonomy: Robots, Humans and the Web | Manuela Veloso |
|
| 15:00 – 16:00 | Invited talk: Computer Science as a Natural Science | Leslie Valiant |
|
| Coffee break | |||
| 16:30 – 18:00 | Panel Discussion: The Big Questions in Computation, Intelligence and Life | ||
| 18:00 – 19:00 | Drink Reception and Live Music Performance (Turing - Morphogenesis 5.1) | Mark Pilkington |
|
| 19:00 – Close | Dinner, starting with the Dinner Speech | Donald E. Knuth |
|
| Monday, June 25, 2012 (Manchester Town Hall) | ||
|---|---|---|
| 09:00 – 10:00 | Invited talk: The Reconstruction of Turing's "Paper Machine" | Garry Kasparov |
| 10:00 – 11:00 | Invited talk: Turing's Humanoid Thinking Machines | Rodney Brooks |
| Coffee break | ||
| 11:30 – 12:30 | Panel Discussion: Turing Test | |
| Lunch | ||
| 14:00 – 15:00 | Invited talk: On the Nature of Causation in Digital Computer Systems | George Ellis |
| 15:00 – 16:00 | Invited talk: Turing’s pioneering paper “The Chemical Basis of Morphogenesis” and the subsequent development of theories of biological pattern formation | Hans Meinhardt |
| Coffee break | ||
| 16:30 – 17:30 | Invited talk: Wikipedia as a model for societal problem-solving | Samuel Klein |
| 17:30 – 17:40 | Best paper award ceremony. | |
| 17:40 – 18:00 | Theorem proving competition overview and results. | Geoff Sutcliffe |
| Break | ||
| 20:00 – 21:30 | Evening invited talk for the General Public: The Problem of Modelling the Mathematical Mind | Roger Penrose |