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

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

    論壇開始前，成都分院院長、中國科學(xué)院青聯(lián)副主席、省青聯(lián)副主席彭宇行向周巢塵院士頒發(fā)了聘書，聘請周巢塵院士為四川青年創(chuàng)新論壇報告人。

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

    論壇由成都分院青聯(lián)副主席、中科信息公司副總經(jīng)理符紅光主持。