第五届全国计算机数学学术会议第三次征稿通知
全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。本次会议由吉林大学数学学院和中国科学院数学机械化重点实验室承办， 将于2013年8月18日至21日在吉林大学举行。 会议网址是:http://www.mmrc.iss.ac.cn/cscm/cm2013/.
为了总结和交流国内外计算机数学研究的最新成果, 会议将组织大会邀请报告和分组报告等学术活动。被接受稿件的作者将在会议上作学术报告。本次会议印刷非正式文集供会议交流。优秀中文论文将在《系统科学与数学》杂志上发表。优秀英文论文将推荐到《Journal of Systems Science and Complexity》。会议时间: 2013年8月18日至21日
会议地点: 吉林省长春市
会议主题包括（但不限于）以下研究方向：
- 数学机械化理论、算法和软件实现；
- 符号计算，符号与数值混合计算；
- 自动推理与机器证明；
- 计算机数学在信息安全、程序验证、机器人和数控系统中的应用；
- 计算机图形学、模式识别等高科技领域中的数学方法；
- 计算机数学在物理、化学、生物和工程中的应用；
- 计算机技术在数学教育中的应用。
论文提交：
-
请将论文上传到
https://www.easychair.org/conferences/?conf=cm2013
或直接寄到:dingkang_wang@yahoo.com.cn 王定康收. - 为了方便评审，论文摘要应是长摘要(extended abstract)。投稿内容应着重于作者新的研究成果，不能仅仅是已发表的结果的总结和概述；
- 投稿截止日期：
2013年6月1日2013年6月15日 -
接受/拒稿日期：
2013年7月18日2013年7月10日