9月5日，計算機軟件專家，中國科學院院士、第三世界科學院院士、聯合國大學國際軟件技術研究所前任所長、中國科學院軟件研究所研究員、中國科學院成都計算所兼職研究員周巢塵院士在“科學與中國”、四川青年創新論壇上作了題為《程序驗證——解決老問題的新方略》的報告。他在報告中簡單介紹程序斷言(Assertion)的概念,斷言方法在工業界的應用以及國際上的驗證編譯器(Verifying Compiler)計劃，并對程序驗證和代數符號計算關系做了介紹,建議把我國的代數符號計算方面的杰出成就應用于程序驗證的研究。

    此次論壇作為中國科學院學部成立50周年“科學與中國院士”專家巡講活動的一部分，由中國科學院、中宣部、教育部、科技部、中國工程院、中國科協主辦，中科院成都計算所、中科院院士工作局成都聯絡處承辦，共青團四川省委、四川省青年聯合會、中科院成都分院青年聯合會、中科院成都分院團工委、中科院成都教育基地研究生會協辦。

    論壇開始前，成都分院院長、中國科學院青聯副主席、省青聯副主席彭宇行向周巢塵院士頒發了聘書，聘請周巢塵院士為四川青年創新論壇報告人。

    出席論壇的還有中國科學院成都分院黨組書記汪光澤， 中科院成都計算所研究員、知識創新工程首席科學家楊路，成都分院院士工作局成都聯絡處負責人，成都分院青聯部分主席、副主席及青聯委員，分院系統青年科技工作者及成都教育基地的研究生100余人聆聽了報告。

    論壇由成都分院青聯副主席、中科信息公司副總經理符紅光主持。