11月1日—4日, 第六届全国计算机数学学术会议（CM2014）在渝召开，来自国内外科研院所、高校的专家学者及在校学生110余人参加了会议。
本次会议由中国数学学会计算机数学专业委员会主办，中国科学院重庆绿色智能技术研究院（以下简称“重庆研究院”）承办。中国科学院软件研究所周巢尘院士任大会主席，中国科学技术大学陈发来教授任程序委员会主席，中科院重庆研究院冯勇研究员、中国科学院数学与系统科学研究院程进三副研究员任程序委员会副主席。会议组织委员会主席、中科院重庆研究院自动推理与认知中心吴文渊副研究员主持开幕式。
开幕式上，重庆研究院党委书记高鹏致开幕词，大会主席中国科学院软件研究所周巢尘院士介绍了其近期研究进展，中国科学院数学与系统科学研究院副院长、973首席科学家高小山研究员回顾了全国计算机数学学术会议的历史,介绍了973项目“数学机械化方法及其在数字化设计制造中的应用”目前进展情况。重庆研究院张景中院士、重庆市科学技术委员会能力建设与基础研究处处长黄昕等嘉宾，以及来自北京大学、中科院数学与系统科学研究院、中国科学技术大学、华东师范大学等全国40余所高等院校的著名专家学者参加了会议。
会上，50余位专家学者围绕数学机械化理论、算法和软件实现，符号计算、符号与数值混合计算，自动推理与机器证明，计算机数学在信息安全、程序验证、机器人和数控系统中的应用，计算机图形学、模式识别等高科技领域中的数学方法，计算机数学在物理、化学、生物和工程中的应用，计算机技术在数学教育中的应用等七个主题，作了专题报告。
美国密歇根州立大学李天岩（Tien-Yien Li）教授作题为“Solving Real Polynomial Systems by Real Homotopies”、北京大学数学学院夏壁灿教授作题为“不等式机器证明的一些进展”、北京大学信息科学技术学院许超教授作题为“基于多模态特征的图像分析”的特邀报告。
此外，会议还组织了973项目“数学机械化方法及其在数字化设计制造中的应用”分会场专题报告，重庆研究院冯勇研究员作了题为“零误差计算的进展”专题交流报告。
此次会议展示了我国当前计算机数学研究与应用的最新动态及学术水平，为全国从事计算机数学的科研人员提供一个总结和交流国内外计算机数学研究最新成果的平台。
开幕式现场