• go to Peter Naur's profile page
  • go to Kenneth E. Iverson 's profile page
  • go to Adi Shamir's profile page
  • go to Joseph Sifakis's profile page
  • go to A J Milner 's profile page
  • go to Fernando Corbato's profile page
  • go to John McCarthy's profile page
  • go to Manuel Blum's profile page
  • go to Barbara Liskov's profile page
  • go to Jim Gray 's profile page
  • go to Charles W Bachman's profile page
  • go to John Cocke 's profile page
  • go to Michael O. Rabin 's profile page
  • go to Stephen A Cook's profile page
  • go to Robert E Tarjan's profile page
  • go to Edmund Clarke's profile page
  • go to Juris Hartmanis's profile page
  • go to Alan Kay's profile page
  • go to Dana S Scott's profile page
  • go to John E Hopcroft's profile page
  • go to Andrew C Yao's profile page
  • go to Dennis M. Ritchie 's profile page
  • go to E. Allen Emerson's profile page
  • go to Marvin Minsky 's profile page
A.M. TURING AWARD WINNERS BY...

ACM A.M. Turing Centenary Celebration

June 15 - 16, 2012, San Francisco, CA

Lambda Calculus Then and Now

 

June 23, 2012 marked the 100th anniversary of Alan Turing's birth. To celebrate the Turing Centenary ACM organized a special event centered on the ACM A.M. Turing Award winners, thirty-three of whom attended and participated in the Celebration. The Technical Program included moderated panels and invited talks from select speakers and focused on Alan Turing's contributions, as well as the history, and the future of computing. By bringing together so many ACM A.M. Turing Award winners to reflect on Alan Turing's contribution and share their views on the past and future of computing, the ACM A.M. Turing Centenary Celebration engaged researchers, academics, students, and the public in a conversation about the importance and direction of our discipline.  The panels and lectures are presented here, and see the technical program details.