由我校軟件學(xué)院和微軟亞洲研究院聯(lián)合舉辦的第二屆可驗(yàn)證軟件研討會(huì)暨暑期學(xué)校在科學(xué)會(huì)堂順利舉行。出席本次研討會(huì)暨暑期學(xué)校的包括微軟研究院首席科學(xué)家圖靈獎(jiǎng)獲得者Tony Hoare教授、中國(guó)科學(xué)院院士軟件學(xué)院院長(zhǎng)何積豐教授等近25位世界頂尖專(zhuān)家，以及來(lái)自全球13個(gè)國(guó)家的73所高等院校的近265位師生。
本屆研討會(huì)旨在促進(jìn)當(dāng)前中國(guó)與世界可驗(yàn)證軟件的發(fā)展，增進(jìn)國(guó)內(nèi)外研究人員與國(guó)際一流軟件驗(yàn)證研究者的交流與合作。作為這次研討會(huì)的聯(lián)合主席，Tony Hoare教授，何積豐教授分別做了題為“Theory for Verified Software”和“Linking the Discrete World with Continuous World”的主題演講，并且都對(duì)這次研討會(huì)的意義做了評(píng)價(jià)。
Tony Hoare教授說(shuō)道，“我希望盡力擴(kuò)大學(xué)術(shù)研究成果的產(chǎn)業(yè)化機(jī)會(huì)，同時(shí)，我也鼓勵(lì)下一代的學(xué)術(shù)研究員能夠繼續(xù)深入研究。”
何積豐教授說(shuō)道，“總體來(lái)說(shuō)，我們?cè)诳沈?yàn)證軟件領(lǐng)域已經(jīng)取得了很多成果但是這遠(yuǎn)遠(yuǎn)不夠。我們希望我們的年輕學(xué)者和研究員能夠借這次機(jī)會(huì)充分地進(jìn)行交流，能夠有所激勵(lì)和收獲。”

本次活動(dòng)分2天的研討會(huì)和5天暑期學(xué)校兩部分。多位世界著名的技術(shù)專(zhuān)家和學(xué)者給與會(huì)者帶來(lái)了激動(dòng)人心的講座。同時(shí)，微軟亞洲研究院和我校軟件學(xué)院還設(shè)立了循序漸進(jìn)的工具學(xué)習(xí)環(huán)節(jié)和實(shí)驗(yàn)環(huán)節(jié)，使學(xué)員能夠身歷其境地進(jìn)行深入學(xué)習(xí)并且獲得寶貴的實(shí)踐經(jīng)驗(yàn)。在本次探討會(huì)和暑期學(xué)校過(guò)程中，碰撞出了很多思維的火花，產(chǎn)生了一些研究的新思路和方向。