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

历届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 HomerSIGARCH: Doug Burger, David WoodSIGCHI: John Thomas, Program Co-ChairSIGCOMM: Vint Cerf, ChairSIGDA: Srinivas KatkooriSIGGRAPH: Mary WhittonSIGIR: Keith van RijsbergenSIGMOD: Yannis IoannidisSIGOPS: Mike Schroeder, Program Co-ChairSIGPLAN: Andrew BlackSIGSOFT: Will Tracz, Mark Grechanik, Carlo GhezziACM History Committee Liaison: Brent Hailp