第七届全国计算机数学学术会议第一次征稿通知

     全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。第一至第六届会议分别在南昌（2007），青岛（2008），上海（2010），广州（2011），长春（2013）,重庆(2014)召开。第七届全国计算机数学学术会议将由中国科学技术大学和中国科学院数学机械化重点实验室承办， 于2015年10月30日至11月2日在中国科学技术大学举行。 会议网址是:

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

    为了总结和交流国内外计算机数学研究的最新成果, 会议将组织大会邀请报告和分组报告等学术活动。欢迎所有感兴趣的研究人员投稿和参加会议。被接受稿件的作者将在会议上作学术报告。本次会议印刷非正式文集供会议交流，优秀中文论文将在《系统科学与数学》杂志上发表，优秀英文论文将推荐到《Journal of Systems Science and Complexity》。

会议时间: 2015年10月30日至11月2日(10月30日报到)
会议地点: 中国科学技术大学
会议主题包括（但不限于）以下研究方向：

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

会议投稿：

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

  http://www.smartchair.cn/CM2015

  中英文全文与摘要均可，文件格式为PDF或Word. 为了方便评审，论文摘要应是长摘要(extended abstract). 投稿内容应着重于作者新的研究成果，不能仅仅是已发表的结果的总结和概述。如果您在投稿过程中遇到问题，请您联系杨周旺(yangzw@ustc.edu.cn)。
• 投稿截止日期：2015年8月25日 延长至2015年9月10日
• 接收/拒稿日期: 2015年9月25日