9月5日，计算机软件专家，中国科学院院士、第三世界科学院院士、联合国大学国际软件技术研究所前任所长、中国科学院软件研究所研究员、中国科学院成都计算所兼职研究员周巢尘院士在“科学与中国”、四川青年创新论坛上作了题为《程序验证——解决老问题的新方略》的报告。他在报告中简单介绍程序断言(Assertion)的概念,断言方法在工业界的应用以及国际上的验证编译器(Verifying Compiler)计划，并对程序验证和代数符号计算关系做了介绍,建议把我国的代数符号计算方面的杰出成就应用于程序验证的研究。

    此次论坛作为中国科学院学部成立50周年“科学与中国院士”专家巡讲活动的一部分，由中国科学院、中宣部、教育部、科技部、中国工程院、中国科协主办，中科院成都计算所、中科院院士工作局成都联络处承办，共青团四川省委、四川省青年联合会、中科院成都分院青年联合会、中科院成都分院团工委、中科院成都教育基地研究生会协办。

    论坛开始前，成都分院院长、中国科学院青联副主席、省青联副主席彭宇行向周巢尘院士颁发了聘书，聘请周巢尘院士为四川青年创新论坛报告人。

    出席论坛的还有中国科学院成都分院党组书记汪光泽， 中科院成都计算所研究员、知识创新工程首席科学家杨路，成都分院院士工作局成都联络处负责人，成都分院青联部分主席、副主席及青联委员，分院系统青年科技工作者及成都教育基地的研究生100余人聆听了报告。

    论坛由成都分院青联副主席、中科信息公司副总经理符红光主持。