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

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

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

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

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