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

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