纪念吴文俊先生诞生100周年活动丨吴方法及其应用

为纪念我国人工智能的开拓者和领军人吴文俊先生，中国人工智能学会在2019年初始发起举办“纪念吴文俊先生诞生100周年”系列活动。

该系列活动由中国人工智能学会主办，多方科研院所高校承办、协办。旨在介绍人工智能等相关前沿科学的现状和发展趋势，探讨各领域对人工智能发展的科学意义和应用价值。

吴文俊院士是我国人工智能研究的开拓者和领军人，系中国人工智能学会第四届和第五届理事会指导委员会名誉主席。他早年提出的机器定理证明方法在国际上被称尊为“吴方法”；随后提出的数学机械化和脑力劳动机械化研究已经成为我国和世界人工智能研究的重要目标。

吴文俊院士，1919年5月12日生于上海。 著名数学家，资深院士，我国智能科学研究的开拓者和领军人。1940年毕业于上海交通大学数学系。1949年在法国斯特拉斯堡大学获法国国家科学博士学位。曾任中国科学院系统科学研究所名誉所长、中国数学会理事长、中国科学院数理学部主任。1990年创建数学机械化研究中心，并任主任。 1957年当选为中国科学院院士。1991年当选第三世界科学院院士。

吴文俊院士研究工作涉及代数拓扑学、代数几何、博奕论、数学史、数学机械化等众多学术领域。1956年因在拓扑学中示性类与示嵌类方面的卓越成就获国家自然科学奖一等奖。1980年获中国科学院科技成果一等奖，1992年获第三世界科学院数学奖，1993年获陈嘉庚基金会数理科学奖，1994年获求是科技基金会杰出科学家奖，1997年因在数学机械化研究方面的开创性贡献获Herbrand自动推理杰出成就奖，2000年荣获首届国家最高科学技术奖，2006年荣获邵逸夫奖。

为了奖励在智能科学技术活动中做出突出贡献的单位和个人，调动广大智能科学技术工作者的积极性和创造性，促进智能科技事业发展，根据国家科学技术奖励工作办公室公告（国科奖社证字第0128号），设立“吴文俊人工智能科学技术奖”（简称“吴文俊智能科技奖”）。

“吴文俊人工智能科学技术奖”的设奖工作发起于2008年，得到我国智能科学研究开拓者和首届国家最高科学技术奖获得者吴文俊院士支持。奖励在我国智能科学技术领域的创新成果；在智能科学技术领域取得重大突破、做出卓著贡献的科技工作者和管理者。

纪念吴文俊先生诞生100周年活动

--吴方法及其应用

时间：2019年5月8日 9:00-11:00

地点：中国科学院计算技术研究所446会议室

内容：介绍数学机械化、符号计算、人工智能等相关前沿科学的现状和发展趋势，探讨数学机械化对人工智能发展的科学意义和应用价值。

日程安排

主旨报告

高小山：吴文俊与数学机械化

李 华：吴方法在图形图像中的应用探讨

报告

史忠植：吴先生与中国人工智能发展

庄福振：机器学习