Turing Centenary Conference

The programme includes 18 invited talks (of which 10 are given by Turing Award winners), 2 public talks, 2 panels, a poster session, a chess programme and a competition of programs proving theorems.

Public lectures:

-- Jack Copeland (University of Canterbury, New Zealand)
Alan Turing, Pioneer of the Information Age
-- Sir Roger Penrose (University of Oxford, Wolf Prize winner)
The Problem of Modelling the Mathematical Mind

Invited lectures:

-- Garry Kasparov (Kasparov Chess Foundation)
   The Reconstruction of Turing's "Paper Machine"
-- Vint Cerf (Google, Turing Award winner)
   Turing's Legacy in the Networked World
-- David Ferrucci (IBM)
   Beyond Jeopardy! The Future of Watson
-- Don Knuth (Stanford University, Turing Award winner)
   All Remaining Questions Answered
-- Adi Shamir (Weizmann Institute of Science, Turing Award winner)
   Turing's Cryptography from a Modern Perspective
-- Samuel Klein (Wikipedia)
   TBC
-- George Ellis (University of Cape Town, Templeton Award winner)
   On the Nature of Causation in Digital Computer Systems
-- Frederick P. Brooks, Jr. (University of North Carolina, Turing Award winner)
   Pilot ACE Architecture in Context
-- Sir Tony Hoare (Microsoft Research, Turing Award winner)
   Can Computers Understand Their Own Programs?
-- Edmund M. Clarke (Carnegie Mellon University, Turing Award winner)
   Model Checking and the Curse of Dimensionality
-- Michael O. Rabin (Harvard University, Turing Award winner)
   Turing, Church, Gödel, Computability, Complexity and
   Randomization: A Personal Perspective
-- Leslie Valiant (Harvard University, Turing Award winner)
   Computer Science as a Natural Science
-- Andrew Chi-Chih Yao (Tsinghua University, Turing Award winner)
   Quantum Computing: A Great Science in the Making
-- Manuela M. Veloso (Carnegie Mellon University)
   Symbiotic Autonomy: Robots, Humans, and the Web
-- Rodney Brooks (MIT)
   Turing's Humanoid Thinking Machines
-- Hans Meinhardt (Max Planck Institute for Developmental Biology)
   Turing's Pioneering Paper 'The Chemical Basis of Morphogenesis and the Subsequent Development of Theories of Biological Pattern Formation
-- Yuri Matiyasevich (Institute of Mathematics, St. Petersburgh)
   Alan Turing and Number Theory

Panel speakers:

• Samson Abramsky (Oxford University)
• Ron Brachman (Yahoo Labs)
• Martin Davis (New York University)
• Steve Furber (The University of Manchester)
• Carole Goble (The University of Manchester)
• Pat Hayes (Institute for Human and Machine Cognition, Pensacola)
• Bertrand Meyer (Swiss Federal Institute of Technology)
• Moshe Vardi (Rice University)

Registration:

The number of participants is limited. Register early to avoid disappointment! To register, access:

https://www.easychair.org/conferences/?conf=turing100 and click on "Registration".

Registration fees

All fees are in Pound Sterling.

        early (on or before June 11)    late (June 12 or later)
Student                 280                      330
Regular                 380                      450

To qualify for a student registration you must be a registered full-time student on June 23, 2012.

The registration fees include:

• Attendance of sessions
• Conference reception
• Conference dinner
• Coffee breaks and lunches
• Poster session proceedings

Chairs:

Honorary Chairs:
   Rodney Brooks (MIT)
   Roger Penrose (Oxford)
Conference Chairs:
   Matthias Baaz (Vienna University of Technology)
   Andrei Voronkov (The University of Manchester)
Turing Fellowships Chair:
   Barry Cooper (University of Leeds)
Theorem Proving Competition Chair:
   Geoff Sutcliffe (University of Miami)
Computer Chess Programme Chair
   Frederic Friedel (Chessbase)
Programme Chair
   Andrei Voronkov (The University of Manchester)