中国数学会计算机数学大会是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。 第十六届会议将由江苏大学中国科学院数学与系统科学研究院数学机械化重点实验室联合承办,于2026年04月17日至20日在镇江举行。

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

大会邀请报告人

按姓名拼音排序

陈发来

中国科学技术大学

董高高

江苏大学

李洪波

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



孙智伟

南京大学

王俊峰

四川大学

青年邀请报告人

按姓名拼音排序

白 石

上海交通大学

马鸿宇

中国科学院大学

毛建玺

大连理工大学



瞿 铮

深圳大学

姚鹏晖

南京大学

张阳春

上海大学