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