中国数学会计算机数学大会是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。第十三届会议将由大连理工大学大连海事大学中国科学院数学机械化重点实验室联合承办,于2022年6月23日至26日在辽宁大连举行。

会议主题包括(但不限于)以下研究方向:
  • 数学机械化理论、算法与应用;
  • 符号计算,符号与数值混合计算;
  • 自动推理与机器证明;
  • 计算机数学在信息安全、程序验证、机器人和数控系统中的应用;
  • 计算机图形学、模式识别等高科技领域中的数学方法;
  • 计算机数学在物理、化学、生物和工程中的应用;
  • 数学软件;
  • 计算机技术在数学教育中的应用。

大会邀请报告人

按姓氏笔画排序

闫振亚

中科院数学与系统科学研究院

祁力群

香港理工大学

李子明

中科院数学与系统科学研究院

高卫国

复旦大学

青年邀请报告人

按姓氏笔画排序

王杰

中科院数学与系统科学研究院

刘美成

中科院信息工程研究所

李子佳

中科院数学与系统科学研究院

罗自炎

北京交通大学

侯臣平

国防科技大学

董波

大连理工大学

熊欢

哈尔滨工业大学

潘茂东

南京航空航天大学