8月6日，中国科学院西部行动计划领导小组组长、中科院副院长詹文龙在成都分院彭宇行院长、资环局冯仁国副局长等有关领导的陪同下，到我公司视察了解基础研究相关工作情况。

  公司董事长王晓宇介绍了公司转制以来的整体发展情况，张景中院士对自动推理实验室的发展历史、当前的主要工作及取得的成绩做了简要汇报。詹副院长对成都信息公司近年来取得的经营业绩及自主研制的电子选举系统成功服务于党和国家重大会议所做出的贡献表示祝贺，并认为自动推理实验室这样一个在转制单位体系内且无充裕的下拨创新经费保障的基础研究单元，在自动推理与定理机器证明和形式化验证领域取得这样的成绩是极其不易的，当前院十分重视数学领域的创新工作，希望通过自动推理实验室这支团队能为国家创新体系建设和创新能力的提升做出新的贡献。詹副院长同时表示，将把这次调研了解到的相关情况及创新团队存在的困难与相关部门进行沟通和研究，并祝愿自动推理实验室在未来取得更好更大的成绩。

  中科信息公司自动推理实验室建立于1979年，是科学院在西部唯一的一个计算机科学与数学理论研究室。该实验室有三个学科方向: 自动推理与定理机器证明、形式化验证、信息安全，拥有张景中院士等10名高级科研人员，在读的硕士和博士研究生有60多人。其研究成果在1995年获得中科院自然科学一等奖和1997年国家自然科学二等奖。 最近五年该实验室研究人员先后发表论文201篇，其中SCI和EI收录101篇，获得专利3项, 其中国家发明专利1项，出版专著11部，开发成功应用软件4套（11部），一项成果获2005年国家科技进步二等奖。