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

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

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

• 请将论文上传到

  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日