学术活动

第十三届中国数学会计算机数学大会在辽宁省大连市召开

2023年6月15日-18日，由中国数学会计算机数学专业委员会主办，大连理工大学数学科学学院、大连海事大学理学院、中国科学院数学机械化重点实验室承办，中国数学会协办的第十三届中国数学会计算机数学大会在中国大连召开。来自北京大学、中国科学院大学、中科院数学与系统科学研究所、香港理工大学等全国90余所高校、科研院所和企业的200余名科研人员参加此次大会。会议得到了国家自然基金委数理学部的专项基金支持以及Maplesoft公司的支持。

大会开幕式由本次大会主席大连理工大学于波教授主持，大连理工大学党委副书记、副校长宋丹教授致开幕词，对来自全国各地的学者和学生表示热烈的欢迎，并强调了数学作为基础学科的重要性以及数学应用的广阔前景。大连海事大学党委常委、纪委书记罗钟山，大连理工大学数学科学学院党委书记、院长柳振鑫教授，中国数学会计算机数学专业委员会主任李洪波研究员出席开幕式并分别致辞。

大会邀请了香港理工大学祁力群教授、复旦大学高卫国教授、中国科学院数学与系统科学研究院李子明研究员、中国科学院数学与系统科学研究院闫振亚研究员分别做了题为Dual Quaternion and Dual Quaternion Matrices、 “从稀疏矩阵计算到矩阵稀疏计算”、Additive Decompositions in Symbolic Integration、“深度学习与智能数学物理”的特邀报告。大会还邀请了8名在计算机数学相关领域取得突出成就的青年学者，介绍他们在多项式优化、对称密码分析、计算代数几何、大规模稀疏优化、机器学习、多项式方程组、组合数学、计算几何等方向的最新科研成果。来自全国各高校、科研院所和企业的70余名专家学者做了分组报告。

大会期间, 中国数学会计算机数学专业委员会颁发了由中国科学院系统科学研究所设立的第四届“吴文俊计算机数学青年学者奖”。该奖项是由吴文俊先生生前亲自批复、为表彰并鼓励杰出的计算机数学领域的青年科研人员，促进计算机数学青年人才的培养而设立。本届获奖者为中国科学院数学与系统科学研究院的叶科副研究员与中国科学院信息工程研究所的孙瑶研究员。

6月16日晚，计算机数学专业委员会召开了全体委员会议。会议由计算机数学专业委员会主任李洪波研究员主持，秘书长陈绍示副研究员汇报了专委会三年来的工作开展情况,专委会六十余名委员出席了会议。本次会议期间, 首先表决通过了新委员的申请，进而各位参会委员就如何聚焦重大科学问题、服务国家创新战略，组织发展与建设计算机数学，开发计算机数学软件与普及计算机数学教育教学等诸多议题展开了热烈讨论。
第十二届中国数学会计算机数学大会在广西省桂林市召开

2021年6月4日-7日，由中国数学会计算机数学专业委员会主办，中国数学会协办，桂林电子科技大学计算机与信息安全学院及中国科学院数学机械化重点实验室承办的第十二届中国数学会计算机数学大会在桂林召开。来自北京大学、中国科学院数学与系统科学研究院、中国科学院大学、浙江大学、电子科技大学等全国80余所高校、科研院所和企业的330余名科研人员参加此次大会。

大会开幕式由桂林电子科技大学计算机与信息安全学院刘建明院长主持。桂林电子科技大学副校长周娅致开幕辞。国家自然科学基金委数理学部主任江松院士进行了视频致辞，他回顾了数理学部在数学发展尤其是计算机数学发展方面全方位的支持，希望研究人员发挥专业优势，将符号主义和连结主义进行智能融合，进一步推动人工智能相关领域研究水平的提高。中国科学院数学与系统科学研究院常务副院长高小山研究员、国家自然基金委数理学部赵桂萍研究员出席开幕式并分别致辞。大会开幕式上, 中国数学会计算机数学专业委员会颁发了由中国科学院系统科学研究所设立的第三届“吴文俊计算机数学青年学者奖”。该奖项是由吴文俊先生生前亲自批复、为表彰并鼓励杰出的计算机数学领域的青年科研人员，促进计算机数学青年人才的培养而设立。本届获奖者为中国科学院数学与系统科学研究院的李伟副研究员与北京航空航天大学的牟晨琪副教授。本次会议得到了国家自然基金委数理学部的专项基金支持以及Maplesoft公司的支持。

大会邀请了天津大学侯庆虎教授，南京航空航天大学陈松灿教授，中国科学院信息工程研究所林东岱研究员分别做了题为“组合数学中的符号计算问题”、“机器学习中的一种高效和有效的模型选择策略—Leave Zero Out”和”密码分析中的代数思想”等学术报告。会议还邀请了7名在计算机数学相关领域取得突出成就的青年学者，介绍他们在自动推理、符号计算、深度学习、计算几何、应用代数几何、密码编码、组合数学等方向的最新科研成果。来自全国各高校、科研院所和企业近70名专家学者作了分组报告。

6月5日晚，计算机数学专业委员会召开了全体委员会议。会议由计算机数学专业委员会主任支丽红研究员主持，秘书长贾晓红副研究员汇报专委会四年来的工作开展情况,专委会三十余名委员出席了会议。本次会议进行了专业委员会换届选举，经投票选举, 中国科学院数学与系统科学研究院研究员李洪波担任第四届专业委员会主任，北京大学数学科学学院夏壁灿教授、天津大学数学学院侯庆虎教授、广西大学党委副书记、副校长吴尽昭教授、中国科学院数学与系统科学研究院贾晓红副研究员担任副主任，中国科学院数学与系统科学研究院陈绍示副研究员担任秘书长。会议期间,各位参会委员就如何聚焦重大科学问题、为国家创新战略服务，计算机数学组织发展与建设，计算机数学软件发展与教育普及等诸多议题展开了两个多小时的热烈讨论。
第十一届全国计算机数学学术会议在四川省成都市召开。

2019年10月24日-27日，第十一届全国计算机数学学术会议在四川省成都市举行。本届会议由中国数学会计算机数学专业委员会主办，四川大学、中国科学院数学机械化实验室和中国科学院成都计算机应用研究所承办，四川省计算机学会、民航飞行技术与飞行安全重点实验室和成都市科技青年联合会协办，来自全国各大高校、科研院所及企业的170余名科研人员参会。
开幕式由四川大学数学学院院长张伟年教授主持。四川大学副校长褚良银教授为大会致开幕辞。中国数学会副理事长、中国工业与应用数学学会副理事长、中国科学院数学与系统科学研究院常务副院长高小山研究员发表讲话。西安交通大学徐宗本院士、中国科学院成都计算机应用研究所张景中院士、四川大学李安民院士、四川省数学会理事长彭联刚教授、四川省计算机学会理事长王晓宇研究员出席开幕式。
会议首场报告由中国科学院院士、西安交通大学徐宗本教授带来，他做了题为“AI与数学：融通共进”的精彩报告。大会还邀请了可积系统与复杂非线性领域专家，国家杰出青年科学基金获得者、中国科学院数学与系统科学研究院闫振亚研究员，计算几何和计算机图形学国际知名专家、国家杰出青年科学基金获得者、清华大学刘永进教授，他们分别做了题为“吴文俊数学机械化与方程求解”和“低维流形上的内蕴几何结构与可视媒体智能处理”的特邀报告。

会议还邀请了6名在计算机数学相关领域取得了重要成果的青年学者介绍了他们在符号计算、自动推理、几何计算、密码编码、机器学习等方向的最新科研成果，来自全国高校、科研院所和企业的31名专家学者做了分组报告。
第十届全国计算机数学学术会议在湖北省武汉市东湖宾馆召开。
2018年10月25日-28日，第十届全国计算机数学学术会议在湖北省武汉市东湖宾馆隆重开幕。本届会议由中国数学会计算机数学专业委员会主办，湖北大学、中国科学院数学机械化实验室和深圳大学承办，来自全国各大高校及科研院所的180余名科研人员参会。开幕式由湖北大学数学与统计学学院院长曾祥勇教授主持。湖北大学党委书记尚钢教授为大会致开幕辞。中国数学会副理事长、中国工业与应用数学学会副理事长、中国科学院数学与系统科学研究院常务副院长高小山研究员发表讲话。

会议首场报告由中国科学院院士、中国科学院数学与系统科学研究院李邦河研究员带来，他做了题为“希尔伯特第15问题和Ritt—吴方法”的报告。大会还邀请了序列编码领域国际著名学者，西南交通大学的唐小虎教授，软件工程和形式化方法领域国际知名学者，中科院软件所詹乃军研究员，他们分别做了题为“Placement-Delievry Array刻画及其应用”和“Formal Analysis and Synthesis of Delay Dynamical and Hynamical and Hybrid Systems”的特邀报告。会议还邀请了九名在计算机数学相关领域取得了重要成果的青年学者介绍了他们在符号计算、几何计算、密码编码等方向的最新科研成果。

10月27日晚，计算机数学专业委员会召开了全体委员会议。会议由计算机数学专业委员会主席支丽红研究员主持，计算机数学专业委员会三十余名委员出席了会议。各位参会委员就如何聚焦重大科学问题、为国家创新战略服务，计算机数学组织发展与建设，计算机数学会议的组织方式等诸多议题展开了两个多小时的热烈讨论。
第九届全国计算机数学学术会议（CM2017）于11月19日至11月21日在湘潭市华银大酒店召开。

10月19日上午，第九届全国计算机数学学术会议（CM2017)在湘潭华银大酒店隆重开幕。本届会议由中国数学会计算机数学专业委员会主办，湖南科技大学和中国科学院数学机械化实验室联合承办，来自全国各大高校及科研院所的170余名科研人员参会。开幕式由本次大会主席、湖南科技大学科协副主席、湖南省数学会副理事长刘金旺教授主持。湖南科技大学校长李伯超为大会致开幕词。中国数学会副理事长、中国工业与应用数学学会副理事长、中国科学院数学与系统科学研究院常务副院长高小山研究员致辞回顾了数学机械化领域的创始者---吴文俊先生生前对该领域发展寄予的殷切希望，并鼓励该领域所有科研人员为继承并发展数学机械化事业而不懈努力。

大会邀请了人工智能领域的国际著名学者、西北工业大学的聂飞平教授，计算共形几何学科的创始人之一、美国纽约州立大学石溪分校的顾险峰教授，量子计算领域的国际著名青年学者、中国科学院计算技术研究所的孙晓明研究员分别做了机器学习、几何计算、量子计算方向的特邀报告。会议还邀请了六名在计算机数学相关领域取得了重要成果的青年学者介绍了他们在符号计算、几何计算等方向的最新科研成果。

中国数学会计算机数学专业委员会于10月19日本次会议晚宴首次颁发了吴文俊计算机数学青年学者奖。该奖项是由吴文俊先生生前亲自批复、为表彰并鼓励杰出的计算机数学领域的青年科研人员，促进计算机数学青年人才的培养而设立。本届获奖者为中国科学院数学与系统科学研究院的冯如勇副研究员与中国科学院大学的申立勇副教授。中国数学会计算机数学专业委员会主任、中国科学院数学与系统科学研究院支丽红研究员阐述了该奖的设奖宗旨、评奖条例及评选过程。中国数学会副理事长、中国科学院数学与系统科学研究院常务副院长高小山研究员及中国数学会计算机数学专业委员会副主任、中国科学技术大学陈发来教授分别为两位获奖者颁奖。本次奖项的合作单位为Maplesoft公司与科学出版社。

10月20日晚，计算机数学专业委员会召开了全体委员会议。会议由专委会主任支丽红研究员主持，计算机数学专业委员会三十余名委员出席了会议。高小山研究员首先就如何发展计算机数学领域、如何规范专委会管理提出了诸多设想与期望。各位参会委员也逐一就专委会委员管理办法、全国计算机数学会议组织方式、国内计算机数学组织发展与建设等诸多议题展开了两个多小时的热烈讨论。
第八届全国计算机数学学术会议（CM2016）于11月11日至11月13日在深圳市明华国际会议中心召开。

本次学术会议由中国数学会计算机数学专业委员会主办，深圳大学数学与统计学院、中国科学院数学机械化重点实验室承办。来自国内科研院所、大专院校的专家学者及在校学生近150人参加了此次会议。

11月11日上午举行了开幕式，由深圳大学数学与统计学院副院长汤建良主持，中国数学会副理事长、中国科学院数学与系统科学研究院副院长高小山研究员致开幕词。原中国计算机数学专委会委员长、中国科学院数学院研究员李子明和本届大会主席、深圳大学数学与统计学院院长陈之兵教授分别致欢迎辞。

11月11日下午举行了全国计算机数学专业委员会第八次全国会员代表大会，期间进行了专业委员会换届选举，经投票选举，产生了45人组成的新一届常务理事会，并选举中国数学会理事、中国科学院数学院研究员支丽红担任第三届专业委员会主任，中国科学技术大学数学科学学院教授陈发来、北京大学数学科学学院教授夏壁灿、天津大学应用数学中心教授侯庆虎、广西民族大学副校长吴尽昭担任副主任，中国科学院数学院副研究员贾晓红担任秘书长。

会议期间，中国科学院数学与系统科学研究院的支丽红研究员做了＂Numerical Sparsity Determination and Early Termination＂的邀请报告，中国科学技术大学的杨周旺教授做了＂基于影像数据的智能医疗决策＂的邀请报告，台湾义守大学的张耀祖教授做了＂有限域上迹的研究＂的邀请报告。Maple公司也应邀做了产品介绍。此外，还安排了37位研究人员在本次会议的分组会议上做了学术报告。

本届会议安排紧张有序，参加会议的代表对会议的组织、会务安排等工作做出了高度评价，各位专家学者进行了充分的学术交流，会议取得圆满成功。
第七届全国计算机数学学术会议（CM2015）于10月30日至11月2日在合肥高速开元酒店召开。

本次学术会议由中国数学学会计算机数学专业委员会主办，中国科学技术大学数学科学学院和中国科学院数学机械化重点实验室承办。来自国内科研院所、大专院校的专家学者及在校学生近1３0人参加了会议。会议期间，中国科学院数学与系统科学研究院的高小山研究员做了＂Differential and Difference Chow Form, Sparse Resultant, and Toric Variety＂的邀请报告，中国科学技术大学的刘利刚教授做了＂3D打印中的几何与计算问题＂的邀请报告，北京大学的宗传明教授做了＂正四面体的堆积理论以及一些计算结果＂的邀请报告，浙江大学的梁友栋教授也做了特邀报告。Maple公司也应邀做了产品介绍。此外，会议还安排了37位研究人员在本次会议的分组会议上做了学术报告。
第六届全国计算机数学学术会议（CM2014）于10月31—11月3日在重庆市万友康年酒店召开。

本次会议由中国数学会计算机数学专业委员会主办，中国科学院重庆绿色智能技术研究院、中国科学院成都信息技术股份有限公司、中国科学院数学机械化重点实验室承办。来自国内科研院所、大专院校的专家学者及在校学生近130人参加了会议，会议得到了中国数学会的赞助。大会主席周巢尘院士、973首席科学家高小山研究员、中国科学院重庆绿色智能技术研究院的领导在大会上作了精彩的发言，并预祝大会圆满成功。高小山研究员也代表计算机数学学会做了发言，回顾了学会的历届会议，学会对整个中国计算机数学发展的引导作用，同时也展望了学会未来的发展方向。

会议邀请国际著名的华人数学家、Michigan State University 的Tien-Yien Li（李天岩）教授做了题为 “Solving Real Polynomial Systems by Real Homotopies”的邀请报告；北京大学许超教授做了题为“基于多模态特征的图像分析”的邀请报告，夏壁灿教授做了题为“不等式机器证明的一些进展”的邀请报告。会议还安排了28位研究人员在分组会议上做了学术报告。973项目“数学机械化方法及其在数字化设计制造中的应用”也进行了学术交流与年度汇报会。
第五届全国计算机数学学术会议（CM2013）于8月18日至21日在吉林长春名人酒店召开。

来自国内科研院所、大专院校的专家学者及在校学生近130人参加了会议。会议期间，大连理工大学大学徐利治教授作题为“介绍一个公式类－∑-△类”、大连理工大学王仁宏教授作题为“分片代数簇中的一些论题”、澳门科技大学齐东旭教授作题为“On the Problem of Global Grid Systems”、中国科学院数学与系统科学研究院段海豹研究员作题为“Schubert calculus and cohomologies of Lie groups”、美国State University of New York at Stony Brook, 顾险峰作题为“Computational Conformal Geometry: Theory, Algorithm and Applications”的邀请报告。此外，会议还安排了45位研究人员在本次会议的分组会议上做了学术报告, 并举行了关于计算机教育的专题研讨会。本次学术会议由中国数学学会计算机数学专业委员会主办，吉林大学数学学院和中国科学院数学机械化重点实验室承办。
第四届全国计算机数学学术会议（CM2011）将2011年11月25—28日在广州大学桂花岗校区学术交流中心召开。

来自国内科研院所、大专院校的专家学者及在校学生近150人参加了会议。本次会议由中国数学会计算机数学专业委员会主办，广州大学计算机科学与教育软件学院、广州大学数学与信息科学学院、中国科学院数学机械化重点实验室共同承办。广州大学张景中院士任大会主席。
会议期间，克莱姆森大学（Clemson University）终身教授高绪洪(Shuhong Gao)作题为“Primary decomposition of polynomial ideals”、中国科学院研究生院胡磊教授作题为“方程求解与代数密码分析”、首都师范大学教授辛国策作题为“MacMahon分拆分析在固定维数下的多项式算法”的特邀报告。此外，会议还安排55位专家学者做专题报告，内容涉及信息安全、微分方程、数控系统、多项式代数、符号与数值计算、计算机数学应用、图像处理与计算几何、微分差分代数、计算几何与自动推理、实代数等内容，这些报告基本反映了我国当前计算机数学的研究动态和展现了计算机数学研究与应用的学术水平。与会人员围绕上述报告进行了广泛、深入的交流，会场内外学术氛围浓郁、研讨热烈。

会上，973项目"数学机械化方法及其在数字化设计制造中的应用" 课题组分四组做了专题汇报会，汇报了项目的进展情况和研究成果。
第三届全国计算机数学学术会议(CM2010)于2010年10月19－22日在上海华东师范大学举行。

来自全国41个单位的150多名教师、研究生参加了本次学术会议。南开大学陈永川、清华大学Jean-Pierre Jouannaud和贾仲孝、中国科学技术大学陈发在会议上做了邀请报告， 58名研究人员在本次会议的分组会议上做了学术报告。本次学术会议由中国数学学会计算机数学专业委员会主办，华东师范大学高可信计算上海市重点实验室和中国科学院数学机械化重点实验室承办。

第二届全国计算机数学学术会议(CM2008)于2008年10月24－28日在山东省青岛市中国石油大学（华东）召开。

会议由中国数学学会计算机数学专业委员会主办、中国石油大学（华东）信息与控制工程学院与中国科学院数学机械化重点实验室承办。
第一届全国计算机数学学术会议(CM2007)于2007年11月12—13日在南昌大学（前湖校区）国际学术交流中心隆重举行。

本次大会由中国数学学会计算机数学专业委员会主办，由中国科学院数学机械化重点实验室与南昌大学承办。这次大会是中国数学学会计算机数学专业委员会被批准成立以来组织的第一次全国性学术活动。