Schedule of Events
Talks were held in McCosh 50
| 10:00a | Dana Scott, CMU (emeritus). Lambda Calculus, Then and Now |
| 11:00a | Philip Wadler, Edinburgh. Church's Coincidences |
| 12:45p | Princeton University President Shirley Tilghman: "Welcome to the Turing Centennial" |
| 1:00p | Les Valiant, Harvard. Computer Science as a Natural Science |
| 2:00p | Andy Yao, Tsinghua. Quantum Computing: A Great Science in the Making |
| 3:30p | Robert Kahn, CNRI. A Systems Approach to Managing Distributed Information |
| 4:30p | Dick Karp, Berkeley. Theory of Computation as an Enabling Tool for the Sciences |
| 8:00p | Eric Schmidt, Google. |
| 10:00a | Martin Davis, NYU (emeritus). Universality is Ubiquitous | |
| 11:00a | James Murray, Oxford (emeritus). Mathematical Biology, Past, Present and Future: from animal coat patterns to brain tumours to saving marriages |
|
| 1:00p | Barbara Liskov, MIT. Programming the Turing Machine | |
| 2:00p | Tom Mitchell, CMU. Never-Ending Language Learning |
|
| 3:30p | Andrew Odlyzko, Minnesota. Turing and the Riemann zeta function | |
| 4:30p | Ron Rivest, MIT. The Growth of Cryptography |
|
| 6:00p | Dinner: Andrew Appel, Princeton. Turing, Gödel, and Church at Princeton in the 1930s Location: Atrium of the new Frick Chemistry Laboratory (Dinner tickets can be purchased on the registration page) |
|
| 8:00p |
Showing of the movie Breaking the Code (The Producer's Cut) |
| 10:00a | David Harel, Weizmann Institute. Standing on the Shoulders of a Giant |
| 11:00a | Avi Wigderson, IAS. The Hardness of Proving Computational Hardness |
| 1:00p | Shafi Goldwasser, MIT and the Weizmann Institute. Pseudo Deterministic Algorithms |
| 2:00p | Bob Tarjan, Princeton. Search Tree Mysteries |
| 3:30p | Dick Lipton, Georgia Tech. What Would Turing Be Doing Today? |
| 4:30p | Christos Papadimitriou, Berkeley. The Origin of Computable Numbers |