分论坛 > 长春 > 活动预告
“纪念吴文俊先生诞生100周年”特别论坛:青年学者如何做出国际性成果
2019-06-07 阅读量:1373 小字

中国计算机学会青年计算机科技论坛长春分论坛

CCF Young Computer Scientists & Engineers Forum-ChangChun Branch

CCF YOCSEF长春

纪念吴文俊先生诞生100周年特别论坛:青年学者如何做出国际性成果

——做学问应该洋为中用”,还是古为今用

timg


官方论坛编号:CCF-19-YOCSEF长春-1F

主办CCF中国计算机学会

承办CCF YOCSEF长春分论坛

协办: 符号计算与知识工程教育部重点实验室(吉林大学)

时间2019610

地址长春市前进大街2699 吉林大学 前卫南区 计算机楼 A515会议室


联系人

     底晓强 CCF YOCSEF 长春主席(2019-2020)(18604465275

         孙铭会 CCF YOCSEF 长春AC 2019-2020)(13504409959


论坛定向邀请(不超过20人)

       中科院数学与系统研究院 中科院信息工程研究所 中科院软件所 清华大学 同济大学 中央财经大学 中国海洋大学 辽宁大学 吉林大学 长春理工大学 吉林农业大学 长春大学 吉林财经大学 长春工业大学 华为公司长春代表处 吉林省中云数讯科技股份有限公司 三盟科技股份有限公司 吉林省锐迅信息技术股份有限公司


论坛程序

    论坛签到(8:30 – 9:00

    活动介绍(9:00-9:10)

    全体合影(9:10 – 9:20


第一阶段:先导发言9:20 – 9:30,地点:A108

    1)引导发言:刘卓军 中科院 数学与系统科学研究院 研究员 (5分钟)

      引导主题:吴文俊先生的吴方法Herbrand——古为今用的科研成就

    2)引导发言:刘大有 吉林大学 原符号计算与知识工程教育部重点实验室主任 (5分钟)

      引导主题:王湘浩先生的科学人生与中国人工智能——洋为中用的科研成就


第二阶段:观点讨论9:30 – 12:00,地点:A515

        论坛自由讨论


执行主席

        叶育鑫 吉林大学 计算机科学与技术学院 博士生导师、CCF YOCSEF长春副主席(2019-2020

        姜建华 吉林财经大学 管理科学与信息工程学院 副院长、CCF YOCSEF长春学术秘书(2019-2020


背  景

微信图片_20190607220633

        他1956年就与华罗庚、钱学森一起获得首届国家自然科学奖一等奖。翌年他38岁当选为最年轻的中科院学部委员(院士)。他开创了近代数学史第一个由中国人原创的研究领域——数学机械化。他做学问从不跟在外国人后面跑,开创出以自己姓氏命名的“吴方法”、“吴氏嵌类”、“吴中心”,早已成为国际公认的“影响深远的经典成果”。他“现学活用”中国古代传统数学,在自动推理领域的先驱性工作,数十年前就对数学与计算机科学研究影响深远,解决了曲面拼接、机构设计等高技术领域的核心问题。他生前鲜有提及人工智能,但他提出的数学机械化思想和方法早已成为我国和世界人工智能领域的重要研究方向,并广泛应用于计算机图形学、计算机视觉、模式识别等诸多学科也领域。他叫吴文俊,诞生于1919年5月12日。值此吴先生百年诞辰,让我们一起追忆他在人工智能领域做出的巨大贡献,解读他“古为今用”的“东方思维”所取得的国际性成果对我们青年学者的启示。



微信图片_20190607220720

       春意盎然的五月同样孕育了另一位中国人工智能界的泰山北斗,他就是生于1915年5月5日,我国杰出的数学家、计算机科学家和教育家王湘浩先生。王湘浩先生1946年赴美国普林斯顿大学留学,师从当代著名代数学家阿廷。他纠正了类域论中“格伦瓦尔德定理”里的错误,从而重新证明了狄克逊猜想,引起国际数学界的震动。1955年,他凭借此前在代数数论方面的研究与“格伦瓦尔德-王”定理,与华罗庚等另外8名数学家一起,成为中国首批入选的中科院学部委员(院士)。1977年,他在国内首倡开展人工智能的研究,开启人工智能“洋为中用”之先河,并在1979年组织召开了计算机科学暑期讨论会。这场大会也是有资料可考的中国第一次以人工智能为主题的大会,堪称中国的达特茅斯会议。今日中国人工智能研究四处开花,已经成为我们生活中的一部分,国内的人工智能研究者们,都应该感谢他在人工智能研究的关键时刻的背后推动。与吴文俊先生的“东方思维”不同,王湘浩先生做出了跟随并赶超“西方思维”的世界级研究成果。解读他的科学人生,同样对青年学者如何做出国际认可的世界级科研成果有积极的借鉴意义和启示。


议题 1

        在当今中国学术生态下,青年学者是侧重“自主创新”,还是侧重“跟踪赶超”路径更易取得世界级成果?


议题 2

        中国数学思维如何(自主或独立)孕育出世界级成果?

  



引导嘉宾介绍


zliup1    刘卓军博士,中国科学院数学与系统科学研究院研究员。师从吴文俊先 生,并与1990年协助吴文俊教授创立中国科学院“数学机械化研究中心”。一直从事符号计算、自动推理、数学机械化及其应用的研究,是国家重大基础研究973项目"数学机械化与自动推理平台"的专家组成员、国家攀登项目"机器证明及其应用"和"数学机械化及其应用"的专家委员会委员。

    1998年,参与组建中国科学院数学与系统科学研究院并任副院长,此后还先后担任过北京市中关村科技园区管委会副主任、安徽省马鞍市人民政府副市长、全国风险管理标准化技术委员会副主任委员等职。


61AA9CFC157733AC742CD1CEF54_049C8B70_1757F

    刘大有吉林大学教授,师从王湘浩先生,并与1993年参与筹建符号计算与知识工程教育部重点实验室(吉林大学)。刘大有是国内智能推理与智能系统等研究的开拓者之一。主要研究知识工程与专家系统,多Agent系统、移动Agent系统与智能Agent,时空表示与推理,粗糙集、格机与数据挖掘,数据结构与算法。作为项目负责人承担了近40个国家和省部级项目,其中国家863高技术项目和国家基金项目20项。

    历任国务院学位委员会学科评议组成员;中国计算机学会理事、中国计算机学会人工智能与模式识别专业委员会副主任、中国计算机学会教育专业委员会主任;《软件学报》编委;吉林省计算机学会理事长;吉林省政协委员、长春市政协常委、民盟吉林省常委等职。



执行主席介绍


微信图片_20190607215618

       叶育鑫 博士,吉林大学计算机科学与技术学院,副教授,博士生导师。符号计算与知识工程教育部重点实验室(吉林大学)研究人员,研究领域为感知计算与认知推理。

   爱尔兰National University of Ireland交换博士生、德国 Technique University of Dresden和美国Wright State University访问学者。国家地球物理探测仪器工程技术研究中心出站博士后。

    学术兼职有中国计算机学会理论计算机科学专委委员、中国人工智能学会离散智能计算专委委员、教育部学位中心硕博论文评审专家、吉林省大学生程序设计大赛组织工作委员会副秘书长等。历任CCF YOCSEF(长春)委员、AC委员、学术秘书等职务。

    主持和参加国家级重大项目、国家自然基金等4项,省自然基金等省级项目2项。国内外发表论文40余篇, SCI、EI收录40余篇。主讲的《离散数学》为国家级精品课程、国家级精品资源共享课,所在“数据结构与离散数学教学团队”为国家级教学团队。



a1

   姜建华 博士,副教授,吉林财经大学管理科学与信息工程学院副院长,兼任物流产业经济与智能物流省重点实验室副主任。符号计算与知识工程教育部重点实验室(吉林大学)客座研究员,研究领域为云计算、商务智能、群智能等。

    学术兼职中国管理科学与工程学会工业工程与管理研究会理事、吉林省商业经济学会常务理事、吉林省计算机学会理事、第十一届电子商务与电子政务管理国际会议程序主席、第七届中美电子商务高级论坛组织委员、商务与金融数据挖掘研讨会程序委员、ACM第一届商业与信息管理国际会议技术委员等,现为国外10余本SCI期刊及信息系统领域多个顶级国际会议审稿人。历任CCF YOCSEF(长春)委员、AC委员、学术秘书等职务。

    发表40余篇SCI、EI收录学术论文,具有代表性的成果发表在《Future Generation Computer Systems》, 《Applied Soft Computing》, 《Soft Computing》, 《Physica A: Statistical Mechanics and its Applications》, 《International Journal of Pattern Recognition and Artificial Intelligence》、《Journal of Intelligent & Fuzzy Systems》等SCI收录的权威期刊,出版学术专著3部。


热门动态
2023-05-05
AI为科学提供了强有力的工具和方法,帮助领域学者发现新的知识、...
2023-03-24
2023年3月18日,CCF YOCSEF成都在四川省成都市五岳宫街28号成都...
2023-03-04
2023年3月3日11:00-14:00,CCF YOCSEF成都分论坛开展走进系列特...
2023-03-02
近十年,我国交通运输事业取得了历史性成就,发生了历史性变革,...
2023-02-27
2023年2月24日下午,CCF YOCSEF 成都的现任和候任AC委员们、老AC...
2023-01-12
2023年1月7日-8日,CCF YOCSEF成都在四川省峨眉山市峨眉山...
2023-01-01
时光荏苒,举步维艰的2022年已远去,欣欣向荣的2023正向我们走来。2022年,在YOCSEF总部、各兄弟分论坛的大力支持下、在各位AC委员、通讯AC委员和委员的共同努力下,CCF YOCSEF太原紧密围绕学术与产业前沿,聚焦科学与社会热点,举办了一系列前瞻性、引领性的观点论坛、技术论坛与CLUB活动,主题涵盖了人工智能算力基础设施、人工智能数据标注、经济转型发展、非物质文化遗产保护等,为山西省乃至全国计算及相关领域的青年科技工作者搭建了交流平台,创造了成长机会,也承担了一定的社会责任。
2022-05-23
2022年5月21日,CCF YOCSEF广州举办“走进图普科技”ClLUB活动暨...
2022-08-18
近年来,人工智能快速发展、赋能千行百业,催生新技术、新产品、...
2022-08-20
近年来,我国大力发展区块链技术和相关应用成果落地,无论是科研...
2022-09-26
近年来,人工智能技术发展迅速,与之相关的数据安全问题也日益受...
2022-10-16
作为我国国民经济的基础,农业是支撑整个国民经济发展和进步的保...
2022-11-13
YOCSEF广州-桂林“东南亚非通用语种AI技术助力东盟经贸合作”联合技术论坛近日成功举办。 随着中国“一带一路”倡议的提出,东盟地区基于地缘政治、地理优势和人文基础成为“一带一路”建设的重点地区,中国与东盟合作迎来历史大机遇。而当前不断优化的东南亚非通用语言AI技术是否能为跨境电商等东盟的经贸合作提供更进一步的助力?
2022-12-04
公司,从算法、架构和软硬件协同等不同的维度去实现高性能的计算。针对人工智能芯片热潮,中国计算机学会(CCF)青年计算机科技论坛(YOCSEF)广州分论坛学术委员会于2022年12月3日以线上视频会议的形式举办了YOCSEF大湾区IT创新论坛——“人工智能芯片的机遇与挑战”观点论坛,共论我国AI芯片发展现状与未来之路
2022-11-13
CCF YOCSEF成都成功举办“当行为数据分析遇上云边智能”技术论坛...
2022-11-03
习近平总书记在二十大报告中指出:全面推进乡村振兴,加快建设农...
2022-08-25
2022年8月20日,中国计算机学会(CCF)青年计算机科技论坛(CCF ...
2022-08-16
2022年8月13日下午,由中国计算机学会(CCF)主办,CCF YOCSEF成...
2022-08-16
   7月25日,由CCF主办、YOCSEF深圳承办,国家超级计算深圳中心...
2022-06-11
人工智能与大数据技术为我国经济增长带来了新的历史机遇;在大数...
CCF聚焦