Talks by these A.M. Turing laureates:
- 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" λ–Calculus Timeline
Abstract
Panels by past ACM A.M. Turing Award winners:
- 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
Film by Patrick Sammon:
Follow us for updates: #ACMTuring100