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" |
ACM (www.acm.org) is widely recognized as the premier organization for computing professionals, delivering a broad array of resources that advance the computing and IT disciplines, enable professional development, and promote policies and research that benefit society.
© 2025 Association for Computing Machinery. All rights reserved.
