为了推动零误差计算及其应用研究，增进该领域国内外同行间的学术交流，7月12日—14日，四川省计算机学会组织省内从事该领域研究的中国科学院成都计算机应用研究所、中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室在成都召开“第四届零误差计算及其应用研讨会”。中国科学院张景中院士、杨路研究员莅临会议指导并做学术报告，来自西南地区高校、军工科研单位、企业近40余人参加会议，10人做学术技术交流报告。学会秘书长宋昌元出席会议并讲话、副理事长王晓京研究员主持学术研讨会。

   零误差计算研讨会会场。

   零误差计算是理论计算机科学的重要领域，也是智能计算的一个分支，在社会经济、军事及相关领域都有着潜在的应用前景。该理论最早由张景中院士于2005年首先提出，其研究成果发表在《中国科学：数学》中英文版。近10年来，张院士领导的团队不断解决了该问题的一些核心理论和计算问题，并探索在计算机自动推理领域开展应用，不少年轻的研究人员积极加入这一领域的研究，也获得了一些理论成果。重庆研究院冯勇研究员作了“零误差计算的进展”报告，系统的介绍了其研究的最新理论成果和面向实际应用的安全攸关系统成功案例。

  张景中院士与大家交流。

  专用杨路研究员在作学术报告。

  专家报告引起了与会者广泛的关注与讨论，大家进行热烈互动和讨论，对零误差计算及其应用有了新的认识与见解。

                                                                                        秘书处