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

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

大会邀请报告人

按姓氏笔画排序

丁剑

北京大学

王华雄

新加坡南洋理工大学

冯勇

中国科学院重庆绿色智能技术研究院

邢朝平

上海交通大学

杨立波

南开大学

范更华

福州大学

青年邀请报告人

按姓氏笔画排序

上官冲

山东大学

李昊坤

华为2012可信费马实验室

郑晓朋

大连理工大学

高奕博

北京国际数学研究中心

胡胜龙

杭州电子科技大学

唐春明

西南交通大学

袁骁

北京大学前沿计算研究中心

薛白

中国科学院软件所