巴黎高等师范学院图灵百年诞辰纪念.pdf

巴黎高等师范学院图灵百年诞辰纪念 消息来源：http://asr.cnrs.fr/node/6187 2012 年 6 月 23 日是阿兰·图灵诞辰 100 周年，法国巴黎高等师范学院图灵 百年诞辰纪念大会将在 2012 年 7 月 2-4 日在法国里昂举行，会议目标和范围是 图灵对数学，计算机，计算机科学，信息学，形态学，人工智能，哲学和科学界 的广泛的影响。会议分为四个部分： 1、第一天 6 个大会报告，演讲者将给出图灵的工作在计算机科学、哲学和认识 论方面对社会的影响。 * Jean Lassègue, CNRS, CREA, France * Giuseppe Longo, CNRS, ENS Paris, france * Gilles Dowek, INRIA, France * J.-M. Salanskis, Université Paris-Ouest Nanterre La Défense, France * Sophie Laplante, CNRS, Université Paris 7, France * Gerard Berry, INRIA, Académie des sciences, France 2、第一天结束时，巴黎高等师范学院将授予 Leslie Valiant 荣誉学位，他目前 是哈佛大学工程与应用科学学院、计算机科学与应用数学学院托马斯•杰斐逊教 授，曾获得过 1986 年奈万林纳奖、1997 年克努特奖、2008 年 EATCS 奖和 2010 年图灵奖。英国伦敦皇家学会院士和美国国家科学院的成员。 3、第二天是关于图灵的遗产：逻辑、计算复杂性国际会议，包括 6 个邀请报告。 * Leslie Valiant, School of Engineering and Applied Sciences, Harvard University, USA * Peter Bürgisser, University of Paderborn, Germany * Martin Hyland, King’s College, Cambridge, England * Daniele Micciancio, University of California, San Diego, USA * Erich Kaltofen, North Carolina State University, Raleigh, USA * Manuel Bodirsky, CNRS and Laboratoire d’Informatique de l’École Polytechnique, France 4、最后一天是法国研究小组关于复杂性与有限模型研讨会 http://www.up2.fr/cmf/。有意演讲者可将演示文稿的标题发送到：Pascal Koiran or Natacha Portier 组委会 * Gilles Dowek, Deputy Scientific Director of INRIA * Eric Fleury, Professor at ENS de Lyon, Head of the CS department * Pascal Koiran, Professor at the CS department of ENS de Lyon * Alexandre Miquel, Associate professor, ENS de Lyon * Gilles Villard, Senior researcher at CNRS, Head of the CS laboratory (LIP) at ENS de Lyon. 会议免费注册：http://www.turing2012.fr/ 联系人：Prof. Eric Fleury at Eric.Fleury@ens-lyon.fr