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

会议主题包括（但不限于）以下研究方向：

• 数学机械化理论、算法与应用;
• 符号计算，符号与数值混合计算；
• 人工智能中的数学理论，自动推理与机器证明;
• 计算机数学在信息安全、程序验证、机器人和数控系统中的应用:
• 计算机图形学、图像处理、模式识别等高科技领域中的数学方法；
• 计算机数学在物理、化学、生物和工程中的应用;
• 组合理论与算法;
• 编码与密码;
• 量子算法;
• 智能制造;
• 数学软件。