ACM Turing Centenary Celebration official program : June 15-16, 2012, Palace Hotel, San Francisco. (ACM,)