TURING 100 - TURING CENTENARY CONFERENCE

June 22
• Jack Copeland Alan Turing, Pioneer of the Information Age

June 23
• Vint Cerf Turing's Legacy in the Networked World
• Michael Rabin Turing, Church, Gödel, Computability, Complexity and Randomization - a Personal Perspective
• Yuri Matiyasevich Alan Turing and Number Theory
• David Ferrucci Beyond Jeopardy! The Future of Watson
• Adi Shamir Turing's Cryptography from a Modern Perspective
• Frederick P. Brooks Pilot ACE Architecture in Context
• Paul Grant Building Pattern: Synthetic Biology as a Tool for Exploring Emergent Systems
• Mark Braverman Computational Universality, Chaos, and Computing with Real Numbers

June 24
• Andrew Chi-Chih Yao Quantum Computing: A Great Science in the Making
• Edmund Clarke Model Checking and the Curse of Dimensionality
• Tony Hoare Can Computers Understand Their Own Programs?
• Manuela Veloso Symbiotic Autonomy: Robots, Humans and the Web
• Leslie Valiant Computer Science as a Natural Science

June 25
• Garry Kasparov The Reconstruction of Turing's "Paper Machine"
• Rodney Brooks Turing's Humanoid Thinking Machines
• George Ellis On the Nature of Causation in Digital Computer Systems
• Hans Meinhardt Turing’s pioneering paper “The Chemical Basis of Morphogenesis” and the subsequent development of theories of biological pattern formation
• Samuel Klein Wikipedia as a model for societal problem-solving