您查看的活动已结束

论坛背景

吴文俊院士是享誉海内外著名科学家、数学大师、人工智能先驱、中国智能科学技术的开拓者和领军人、首届国家最高科学技术奖获得者、中国科学院院士、中国人工智能学会名誉理事长。吴文俊院士不仅在自动推理、机器定理证明等领域取得突出成果，他开创的数学机械化在国际上被誉为“吴方法”，此后计算机科学、并联数控技术、模式识别等诸多领域取得的重大科研成果，背后都有数学机械化的广泛应用。

吴文俊院士生前一直对我国人工智能发展高度关注，他与中国人工智能学会历届理事会同仁结下深厚的学术友谊。为此，中国人工智能学会发起了以吴文俊院士命名，依托社会力量设立主办的“吴文俊人工智能科学技术奖”，被外界誉为“中国智能科学技术最高奖”，拥有广泛的盛誉和影响力。为激励更多人工智能创新人才涌现，“吴文俊人工智能科学技术奖”每年都会吸引来自清华大学、北京大学、中国科学院、浙江大学、上海交通大学、南京大学、武汉大学、中山大学、中国科学技术大学等顶尖高校、科研院所的众多项目成果参与角逐，表彰奖励了一批在人工智能科学技术研究应用取得重大突破、贡献卓著的先进代表人物，他们为我国人工智能领域的发展做出了积极贡献。

为传承吴文俊院士的学术创新思想，总结我国人工智能创新应用领域取得的突出成就，向各界传递吴文俊院士研究成果对当前人工智能时代的深刻影响，中国人工智能学会吴文俊人工智能科学技术奖办公室、人民邮电出版社联袂推出 《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》丛书，旨在邀请历届获得“吴文俊人工智能科学技术奖”的学界精英交流符号计算与人工智能前沿趋势，探讨人工智能前沿基础理论的重大进展，总结数学机械化对人工智能发展做出的杰出贡献，引导更多科学家秉承吴文俊院士的学术思想，追寻吴文俊院士的科学足迹，纪念吴文俊院士科学人生，为广大人工智能有志之士提供学术指引和精神方向，共同推进我国人工智能在学术创新、基础理论研究和产业技术应用的进步和发展。

2018年5月11日（周五）上午09:00-12:00

江苏省苏州市苏州国际博览中心A区2楼209室

主办单位：中国人工智能学会、人民邮电出版社

协办单位：上海市人工智能学会、苏州人工智能学会、苏州国际科技园

承办单位：CAAI吴文俊人工智能科学技术奖办公室

08:40-09:00    来宾签到

09:00-09:10    嘉宾致辞

李德毅    中国人工智能学会理事长、中国工程院院士

09:10-09:15    嘉宾致辞

顾翀    人民邮电出版社社长兼党委书记

09:15-09:20    新书启动仪式

《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》

09:20-09:50    报告主题：范式革命引领机制主义人工智能理论诞生

钟义信    北京邮电大学智能科学技术中心教授、博导，国际信息研究学会（IS4SI）中国分会主席、首届吴文俊人工智能科学技术成就奖获得者

09:50-10:20    报告主题：符号计算与人工智能

王东明    北京航空航天大学“长江学者”特聘教授、法国国家科学研究中心主任研究员、欧洲科学院院士，吴文俊院士早期优秀博士生

10:20-10:50    报告主题：精确推理与知识表示

李洪波    中国科学院数学与系统数学研究院数学机械化重点实验室主任、研究员，吴文俊院士早期优秀博士后

10:50-11:20    报告主题：深度学习模型的一些思考和见解

杨健    南京理工大学教授、国家杰出青年科学基金获得者、“长江学者”特聘教授、第七届吴文俊人工智能科学技术奖评审委员会委员

11:20-11:50    报告主题：人工智能需要数学机械化

刘卓军    中国科学院数学与系统数学研究院创始副院长、研究员，吴文俊院士早期优秀博士生