关注异步图书，置顶公众号
媒体与你分享IT好书 技术干货 职场知识
参与文末话题讨论，每日赠送异步图书。
——异步小编
论坛背景
吴文俊院士是享誉海内外著名科学家、数学大师、人工智能先驱、中国智能科学技术的开拓者和领军人、首届国家最高科学技术奖获得者、中国科学院院士、中国人工智能学会名誉理事长。吴文俊院士不仅在自动推理、机器定理证明等领域取得突出成果，他开创的数学机械化在国际上被誉为“吴方法”，此后计算机科学、并联数控技术、模式识别等诸多领域取得的重大科研成果，背后都有数学机械化的广泛应用。
吴文俊院士生前一直对我国人工智能发展高度关注，他与中国人工智能学会历届理事会同仁结下深厚的学术友谊。为此，中国人工智能学会发起了以吴文俊院士命名，依托社会力量设立主办的“吴文俊人工智能科学技术奖”，被外界誉为“中国智能科学技术最高奖”，拥有广泛的盛誉和影响力。为激励更多人工智能创新人才涌现，“吴文俊人工智能科学技术奖”每年都会吸引来自清华大学、北京大学、中国科学院、浙江大学、上海交通大学、南京大学、武汉大学、中山大学、中国科学技术大学等顶尖高校、科研院所的众多项目成果参与角逐，表彰奖励了一批在人工智能科学技术研究应用取得重大突破、贡献卓著的先进代表人物，他们为我国人工智能领域的发展做出了积极贡献。
为传承吴文俊院士的学术创新思想，总结我国人工智能创新应用领域取得的突出成就，向各界传递吴文俊院士研究成果对当前人工智能时代的深刻影响，中国人工智能学会吴文俊人工智能科学技术奖办公室、人民邮电出版社联袂推出 《大师足迹：吴文俊人工智能科学技术奖领军人物成长录》丛书，旨在邀请历届获得“吴文俊人工智能科学技术奖”的学界精英交流符号计算与人工智能前沿趋势，探讨人工智能前沿基础理论的重大进展，总结数学机械化对人工智能发展做出的杰出贡献，引导更多科学家秉承吴文俊院士的学术思想，追寻吴文俊院士的科学足迹，纪念吴文俊院士科学人生，为广大人工智能有志之士提供学术指引和精神方向，共同推进我国人工智能在学术创新、基础理论研究和产业技术应用的进步和发展。
论坛时间
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 报告主题：人工智能需要数学机械化
刘卓军 中国科学院数学与系统数学研究院创始副院长、研究员，吴文俊院士早期优秀博士生
媒体支持
人民日报、新华社、中国新闻社、光明日报、科技日报、中国青年报、环球时报、经济日报、中国科学报、姑苏晚报、上海文汇报、东方早报、今日头条、新浪、百度百家、网易、正略读书会、六点一刻、吴晓波读书会、行动派、腾讯新闻、笔记侠、正和岛、界面、二十一世纪等。
报名须知
1.报名方式：点击下方【立即报名】
2.报名须知：凭活动行【电子票】验票签到入场
长按二维码，可以关注我们哟