全国计算机数学学术会议是由中国数学会下属的计算机数学专业委员会主办的系列学术会议。会议旨在为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。会议主题包括(但不限于)以下研究方向: 数学机械化理论、算法和软件实现; 符号计算,符号与数值混合计算; 自动推理与机器证明; 计算机数学在信息安全、程序验证、机器人和数控系统中的应用; 计算机图形学、模式识别等高科技领域中的数学方法; 计算机数学在物理、化学、生物和工程中的应用; 计算机技术在数学教育中的应用。 投稿说明:中英文全文与长摘要(extended abstract)均可,文件格式为PDF或Word. 投稿内容应着重于作者新的研究成果,不能仅仅是已发表的结果的总结和概述。如果您在投稿过程中遇到问题,请您联系程进三(jcheng@amss.ac.cn)。 投稿截止日期:2014年7月31日 接收/拒稿日期:2014年9月30日