全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。本次会议由吉林大学数学学院和中国科学院数学机械化 重点实验室承办， 将于2013年8月18日至21日在吉林大学举行。会议的网址是: http://www.mmrc.iss.ac.cn/cscm/cm2013/. 为了总结和交流国内外计算机数学研究的最新成果, 会议将组织大会邀请报告和分组报告等学术活动。目前已确定的大会邀请报告人包括中国科学院 数学与系统科学研究院的段海豹研究员和美国纽约州立大学石溪分校的顾险峰(David Xianfeng Gu)教授。 被接受稿件的作者将在会议上作学术报告。本次会议印刷非正式文集供会议交流。优秀中文论文将在《系统科学与数学》杂志上发表。优秀英文论文 将推荐到《Journal of Systems Science and Complexity》。 一、会议时间 2013年8月18日至21日 二、会议地点 吉林省长春市 三、会议主题 包括但不限于以下研究方向： 1 数学机械化理论、算法和软件实现； 2 符号计算，符号与数值混合计算； 3 自动推理与机器证明； 4 计算机数学在信息安全、程序验证、机器人和数控系统的应用； 5 计算机图形学、模式识别等高科技领域中的数学方法； 6 计算机数学在物理、化学、生物和工程中的应用。 四、论文提交 1.请将论文上传到 https://www.easychair.org/conferences/?conf=cm2013 或直接寄给dingkang_wang@yahoo.com.cn王定康.投稿论文为全文或摘要,语言为中文或英语;文件格式为PDF或Word. 2.为了方便评审，论文摘要应是长摘要(extended abstract)。投稿内容应着重于作者新的研究成果，不能仅仅是已发表的结果的总结和概述； 3.投稿截稿日期：2013年6月1日 接受/拒稿日期：2013年7月18日 五、会议组织机构 名誉主席：吴文俊（中国科学院数学与系统科学研究院） 大会主席：李辉来（吉林大学数学学院） 程序委员会主席：王定康（中国科学院数学与系统科学研究院） 组织委员会主席：雷 娜（吉林大学） 程序委员会委员：邓建松（中国科学技术大学） 邓映蒲（中国科学院数学与系统科学研究院） 李洪波（中国科学院数学与系统科学研究院） 李子明 （中国科学院数学与系统科学研究院） 林东岱（中国科学院信息工程研究所） 申立勇（中国科学院研究生院） 孙 瑶（中国科学院信息工程研究所） 王定康（中国科学院数学与系统科学研究院,主席） 王东明（法国科学研究中心/北京航空航天大学） 王明生（中国科学院信息工程研究所） 吴 敏（华东师范大学） 谢福鼎（辽宁师范大学） 夏壁灿（北京大学） 杨立波（南开大学） 袁春明（中国科学院数学与系统科学研究院） 曾广兴（南昌大学） 张树功（吉林大学） 支丽红（中国科学院数学与系统科学研究院） 组织委员会委员：董 天（吉林大学） 冯如勇（中国科学院数学与系统科学研究院） 雷 娜（吉林大学,主席） 李 佳（中国科学院数学与系统科学研究院） 周代珍（中国科学院数学与系统科学研究院） 六、联系方式 会议网址：http://www.mmrc.iss.ac.cn/cscm/cm2013/index.html 联系方式：王定康 dwang@mmrc.iss.ac.cn 雷 娜 leina@jlu.edu.cn 李辉来 lihuilai@jlu.edu.cn 联系电话：雷 娜 18686686311 董 天 18744012754
