会议简介
全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。会议主题包括（但不限于）以下研究方向：- 数学机械化理论、算法和软件实现；
- 符号计算，符号与数值混合计算；
- 自动推理与机器证明；
- 计算机数学在信息安全、程序验证、机器人和数控系统中的应用；
- 计算机图形学、模式识别等高科技领域中的数学方法；
- 计算机数学在物理、化学、生物和工程中的应用；
- 计算机技术在数学教育中的应用。
最新消息
- 会议日程（暂定）与摘要已上传（见会议日程）。。
- 注册系统已经更新，请拟参会人员尽快注册（见会议注册）。已注册人员请更新注册信息（特别是住宿时间、住所、发票抬头以及纳税人识别号等信息）。
- 投稿系统已开放，地址为：
- 全文投稿截止日期推迟至 2018年7月31日。
- 长摘要投稿截止日期推迟至 2018年9月20日。
