June 23, 2012 marks the centenary of the birth of Alan Turing. Alan Turing is arguably the most famous computer scientist of all time.

The Turing Centenary Conference will be held in Manchester on June 22-25, 2012, hosted by The University in Manchester, where Turing worked in 1948-1954. The main theme of the conference is Alan Turing’s Centenary. It has the following aims:

to celebrate the life and research of Alan Turing;
to bring together the most distinguished scientists, to understand and analyse the history and development of Computer Science and Artificial Intelligence

Invited Speakers

Rodney Brooks (MIT)

Frederick P. Brooks, Jr. (University of North Carolina, Turing Award winner)

Vint Cerf (Google, Turing Award winner)

Edmund M. Clarke (Carnegie Mellon University, Turing Award winner)

Jack Copeland (University of Canterbury)

George Ellis (University of Cape Town, Templeton Award winner)

David Ferrucci (IBM)

Sir Tony Hoare (Microsoft, Turing Award winner)

Garry Kasparov (Kasparov Chess Foundation)

Samuel Klein (Wikipedia)

Don Knuth (Stanford University, Turing Award winner)

Yuri Matiyasevich (Institute of Mathematics, St. Petersburgh)

Hans Meinhardt (Max Planck Institute for Developmental Biology)

Sir Roger Penrose (Oxford, Wolf Prize)

Michael O. Rabin (Harvard University, Turing Award winner)

Adi Shamir (Weizmann Institute of Science, Turing Award winner)

Leslie Valiant (Harvard University, Turing Award winner)

Manuela M. Veloso (Carnegie Mellon University)

Andrew Chi-Chih Yao (Tsinghua University, Turing Award winner)

Programme

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)
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	Young Scholars Competition Award Ceremony Laudation (awards to be handed over) – 2 invited talks by selected winners (30 minutes each)
18:15	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	Invited talk: Temporal Logic Model Checking	Edmund Clarke
	Coffee break
11:30 – 12:30	Invited talk: Can Computers Understand Their Own Programs?	Tony Hoare
	Lunch
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
	Break
19:00	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: TBC.
17:30 – 18:30	Closing invited talk: TBC.	Samuel Klein
	Break
20:00 – 21:30	Evening invited talk for the General Public: The Problem of Modelling the Mathematical Mind	Roger Penrose