ACM A. M. Turing Centenary Celebration

June 15-16
See Video Lectures and Panels


• Edmund Clarke, "Computable Real Numbers and Why They Are Still Important Today" --- Abstract
• Alan C. Kay, "Extracting Energy from the Turing Tarpit" --- Abstract
• Butler Lampson, "What Computers Do: Model, Connect, and Engage" --- Abstract
• Dana S. Scott ,"Lambda Calculus Then and Now" --- Abstract

• Turing the Man
Chair: Keith Van Rijsbergen
Panel: Charles Bachman, Calvin Gotlieb, William Newman, Wendy Hall --- Abstract

• Human and Machine Intelligence
Chair: Barbara Grosz
Panel: Edward A. Feigenbaum, Marvin Minsky, Judea Pearl, Raj Reddy --- Abstract

• The Turing Computational Model
Chair: Moshe Vardi
Panel: Stephen Cook, Juris Hartmanis, William Kahan, Richard E. Stearns --- Abstract

• Information, Data, Security in a Networked Future
Chair: Vint Cerf
Panel: John Hopcroft, Bob Kahn, Ron Rivest, Adi Shamir --- Abstract

• Programming Languages – Past Achievements and Future Challenges
Chair: Susan Graham
Panel: Frances Allen, Barbara Liskov, Nicklaus Wirth --- Abstract

• Computer Architecture
Chair: David Patterson
Panel: Frederick P. Brooks, Jr., Ivan Sutherland, Charles P. (Chuck) Thacker --- Abstract

• Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice
Chair: Dahlia Malkhi
Panel: Fernando J. Corbato, E. Allen Emerson, Joseph Sifakis, Ken Thompson --- Abstract

• An Algorithmic View of the Universe
Chair: Christos Papadimitriou
Panel: Leonard Adleman, Richard M. Karp, Donald E. Knuth, Robert Tarjan, Leslie G. Valiant --- Abstract