ACM A.M. TURING CENTENARY CELEBRATION: JUNE 15 & 16, 2012
PALACE HOTEL, SAN FRANCISCO, CA

 
 Facebook  Twitter  LinkedIn  #ACMTuring100
  WEBCAST  |  PHOTOS

Friday – June 15, 2012

9:00 Opening Remarks
9:15  Panel: Turing the Man
10:15 Break
10:45  Panel: Human and Machine Intelligence
11:45  Talk: "What Computers Do: Model, Connect, and Engage", Butler Lampson
12:15 Lunch
1:30  Panel: Systems Architecture, Design, Engineering, and Verification – The Practice in Research and Research in Practice
2:45  Talk: "Extracting Energy from the Turing Tarpit", Alan Kay
3:15 Break
3:45 Panel: The Turing Computational Model
5:00  Talk: "Lambda Calculus Then and Now", Dana Scott λ–Calculus Timeline
5:30  Talk: "Computable Real Numbers and Why They Are Still Important Today", Edmund Clarke
6:00 Adjourn/Reception

Saturday – June 16, 2012

8:30 Panel: Computer Architecture
9:30  Panel: Programming Languages – Past Achievements and Future Challenges
10:30 Break
11:00 Panel: An Algorithmic View of the Universe
12:30  Panel: Information, Data, Security in a Networked Future
1:45 Adjourn
2:00  Film: "Codebreaker"

 

Official Program (All times are Pacific Daylight Time)

Follow us for updates: Facebook  Twitter  LinkedIn  #ACMTuring100