历届ACM图灵奖得主参加图灵百年庆典活动.pdf

历届 ACM 图灵奖得主参加图灵百年庆典活动 2012 年 6 月 23 日是阿兰图灵百年诞辰纪念日。有“计算机界诺贝尔奖”之 称的 ACM 图灵奖由美国计算机协会 1966 年设立，奖励在计算和计算机科学方面 的重大贡献。为庆祝图灵百年诞辰，ACM 组织了一个特别活动，34 位历届 ACM 图灵奖得主有史以来将首次相聚在旧金山皇宫酒店，庆祝阿兰图灵百年诞辰。庆 祝活动包括小组座谈和邀请报告，侧重于介绍阿兰图灵的贡献及计算界的历史和 未来。研究人员、学者、学生和公众将展开有关学科的重要性和发展趋势的讨论。 庆祝活动免费注册，共 700 个名额（其中学生不少于 100 个），所有成功注册者 将与图灵奖得主一并受邀出席周五（6 月 15 日）晚上的招待会。本注册不包括 ACM 2012 年颁奖宴会。 虽然世界各地举行大量的图灵百年诞辰活动，但是 ACM 的纪念活动将是世界 级的节目，本次活动组委会由 11 个 ACM 的研究小组代表组成。大会主席由 2004 年 ACM 图灵奖得主、Google 公司的首席互联网顾问 Vint Cerf 担任，联席主席 为 Mike Schroder (硅谷微软研究院), John Thomas (华盛顿 IBM),和 Moshe Vardi (Rice University 莱斯大学)。活动初步针对 8 个主题进行座谈，另有 4 个邀请 报告。 座谈主题 1.图灵其人 主席： Keith Van Rijsbergen 小组成员: William Newman, Calvin Gotlieb, Charles Bachman, Dame Wendy Hall 2.人类和机器智能 主席： Barbara Grosz 小组成员: Marvin Minsky, Ed Feigenbaum, Raj Reddy, Judea Pearl 3.图灵计算模型 主席: Juris Hartmanis 小组成员: Stephen Cook, Richard E. Stearns, William Kahan, Andrew C. Yao 4.未来网络中的信息、数据、安全 主席: Vint Cerf 小组成员: Bob Kahn, Adi Shamir, John Hopcroft, Ron Rivest 5. 语言表达和编程的重要性 主席: Susan Graham 小组成员: Fran Allen, Barbara Liskov, Nicklaus Wirth 6.计算机架构 主席: Dave Patterson 小组成员: Fred Brooks, Ivan Sutherland, Chuck Thacker 7.系统：架构、设计、工程和确认 主席: Dahlia Malkhi 小组成员: Fernando J. Corbato, Ken Thompson, Joseph Sifakis, E. Allen Emerson 8.对宇宙的算法观点 主席: Christos Papadimitriou 小组成员: Bob Tarjan, Leonard Adleman, Richard Karp, Les Valiant, Don Knuth 邀请报告 1.Edmund Clarke, "The Computable Reals and Why They Are Still Important Today" 2.Alan C. Kay, "The Turing Tarpit + A Refinery = Renewable Energy!" 3.Butler Lampson, "The Four Ages of Computing" 4.Dana S. Scott, "Lambda Calculus Then and Now" 组委会 大会主席：Vint Cerf（2004 年图灵奖得主） 联席主席：Mike Schroeder；John Thomas；Moshe Vardi 各组织负责人： SIGACT: Steve Homer SIGARCH: Doug Burger, David Wood SIGCHI: John Thomas, Program Co-Chair SIGCOMM: Vint Cerf, Chair SIGDA: Srinivas Katkoori SIGGRAPH: Mary Whitton SIGIR: Keith van Rijsbergen SIGMOD: Yannis Ioannidis SIGOPS: Mike Schroeder, Program Co-Chair SIGPLAN: Andrew Black SIGSOFT: Will Tracz, Mark Grechanik, Carlo Ghezzi ACM History Committee Liaison: Brent Hailpern