Princeton Turing Centennial Celebration

May 10
• Dana Scott, CMU (emeritus). Lambda Calculus, Then and Now (Video)

• Philip Wadler, Edinburgh. Church's Coincidences (Video)

• Les Valiant, Harvard. Computer Science as a Natural Science (Video)

• Andy Yao, Tsinghua. Quantum Computing: A Great Science in the Making (Video)

• Robert Kahn, CNRI. A Systems Approach to Managing Distributed Information (Video)

• Dick Karp, Berkeley. Theory of Computation as an Enabling Tool for the Sciences (Video)

• Eric Schmidt, Google. The Future of Technology (Video)

May 11
• Martin Davis, NYU (emeritus). Universality is Ubiquitous (Video)

• James Murray, Oxford (emeritus). Mathematical Biology, Past, Present and Future: from animal coat patterns to brain tumors to saving marriages (Video)

• Barbara Liskov, MIT. Programming the Turing Machine (Video)

• Tom Mitchell, CMU. Never-Ending Language Learning (Video)

• Andrew Odlyzko, Minnesota. Turing and the Riemann zeta function (Video)

• Ron Rivest, MIT. The Growth of Cryptography (Video)

• Andrew Appel, Princeton. Turing, Gödel, and Church at Princeton in the 1930s (Video)

May 12
• David Harel, Weizmann Institute. Standing on the Shoulders of a Giant (Video)

• Avi Wigderson, IAS. The Hardness of Proving Computational Hardness (Video)

• Shafi Goldwasser, MIT and the Weizmann Institute. Pseudo Deterministic Algorithms (Video)

• Bob Tarjan, Princeton. Search Tree Mysteries (Video)

• Dick Lipton, Georgia Tech. What Would Turing Be Doing Today? (Video)

• Christos Papadimitriou, Berkeley. The Origin of Computable Numbers (Video)