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:
\nRegistration:
The number of participants is limited. Register early to avoid \;disappointment! To register\, access:
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:
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)