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

本次活動分2天的研討會和5天暑期學(xué)校兩部分。多位世界著名的技術(shù)專家和學(xué)者給與會者帶來了激動人心的講座。同時(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)。在本次探討會和暑期學(xué)校過程中，碰撞出了很多思維的火花，產(chǎn)生了一些研究的新思路和方向。