第三届全国计算机数学学术会议 会议纪要

第三届全国计算机数学学术会议会议纪要

2010年10月19日至22日，第三届全国计算机数学学术会议在上海华东师范大学举行。来自中国科学院和全国各地高等院校共41个单位的150多名教师、研究生参加了本次学术会议。本次会议的主题包括数学机械化理论、算法和软件实现，符号与数值混合计算、可信计算等计算机数学的新方法，计算机数学在信息安全、程序验证、机器人和数控系统的应用，计算机图形学、模式识别、计算生物学等领域中的数学方法，其他计算机应用领域和软件设计领域的数学方法。华东师大软件学院何积丰院士参加了开幕式。南开大学陈永川、清华大学Jean-Pierre Jouannaud和贾仲孝、中国科学技术大学陈发来等四名学者在会议上做了邀请报告，58名研究人员在本次会议的分组会议上做了学术报告。这些报告介绍了各自工作中的最新结果和工作领域的前沿方法，学术报告的工作领域包括特征列方法和Groebner基等数学机械化理论、算法与软件设计问题，微分方程自动求解，微分代数，实代数算法及其应用，图像处理、模式识别，计算机辅助设计、机器人控制、数控机床系统控制，优化算法，混合计算方法、程序验证和可信计算，信息安全、计算生物学问题等。会议中讨论热烈，会议之间来自不同单位的研究人员还进行了各种其它形式的深入交流，讨论了将来拟开展的合作。部分优秀学术报告论文将在《系统科学与数学》专辑上发表。

本次学术会议由中国数学学会计算机数学专业委员会主办，华东师范大学高可信计算上海市重点实验室和中国科学院数学机械化重点实验室承办。会议期间，计算机数学专业委员会举行了2010年专业委员会会议，会议讨论了专业委员会今后的工作。