中国数学会计算机数学大会是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。第一至第十二届会议分别在南昌（2007），青岛（2008），上海（2010），广州（2011），长春（2013），重庆(2014)，合肥（2015），深圳（2016），湘潭（2017），武汉（2018），成都（2019），桂林（2021）召开。第十三届中国数学会计算机数学大会将由大连理工大学数学科学学院、大连海事大学理学院和中国科学院数学机械化重点实验室联合承办，于2023年6月15日至18日在辽宁大连举行。 会议网址是:

http://www.mmrc.iss.ac.cn/cscm/cm2023/

        为了总结和交流国内外计算机数学研究的最新成果, 会议将组织大会邀请报告、青年学者邀请报告与分组报告。欢迎计算机数学及其相关领域的所有研究人员踊跃投稿和参加会议，被接收稿件的作者将在会议上作学术报告。本次会议将印刷非正式的文集提供会议交流，其中优秀中文论文将在核心期刊《系统科学与数学》上发表，优秀英文论文将推荐到Journal of Systems Science and Complexity。

会议时间：2023年6月15日至18日（6月15日报到）
会议地点： 辽宁大连
会议主题：包括（但不限于）以下研究方向:

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

会议投稿

• 请在以下会议系统注册并投稿

http://www.smartchair.org/CM2023

• 投稿方式包括（请在投稿系统中选择是否希望被推荐到期刊）：
  1. 仅做会议报告：长摘要或全文。可为未发表的工作，也可为已经被学术期刊接收或发表的重要成果；
  2. 做会议报告并希望推荐到期刊：中/英文论文全文。 需为未发表的工作。经大会程序委员会评审并接收后，优秀中文论文可被推荐到核心期刊《系统科学与数学》，进入期刊审稿流程，期刊将根据投稿数量决定是否出专辑；优秀英文论文可被推荐到期刊Journal of Systems Science and Complexity，进入期刊审稿流程。
• 文件格式为PDF
• 投稿截止日期：2023年4月30日2023年5月8日
• 接收/拒稿日期：2023年5月30日
• 如果您在投稿过程中遇到问题，请您联系:
  冯如勇：ryfeng@amss.ac.cn
  雷   娜：nalei@dlut.edu.cn