由華東師大軟件學(xué)院（SEI），法國國家自動(dòng)化研究中心（INRIA）以及中法計(jì)算機(jī)自動(dòng)化以及應(yīng)用數(shù)學(xué)聯(lián)合實(shí)驗(yàn)室（LIAMA）聯(lián)合主辦的“形式化方法即Coq系統(tǒng)”暑期學(xué)校的開班儀式于7月16日上午在數(shù)學(xué)館舉行。 任友群副校長、法國駐上海領(lǐng)事館副領(lǐng)事Gilles Merceron先生，軟件學(xué)院院長何積豐院士以及五位來自法國的授課專家和全體學(xué)員出席了開班儀式。 開班儀式由軟件學(xué)院副院長陳儀香教授主持。
任友群副校長在致辭中對外國專家的到來表示歡迎，希望暑期學(xué)校能夠作為對研究生學(xué)術(shù)培養(yǎng)的一個(gè)有力補(bǔ)充。法國駐上海領(lǐng)事館副領(lǐng)事Gilles Merceron先生對軟件學(xué)院與法國研究機(jī)構(gòu)的合作研究給予了充分的肯定，并對我校學(xué)術(shù)研究領(lǐng)域的交流合作和人才培養(yǎng)模式的創(chuàng)新給予了贊賞。 華東師范大學(xué)軟件學(xué)院院長何積豐院士介紹了軟件學(xué)院開辦暑期學(xué)校的宗旨，并對學(xué)員提出了希望。 最后，Yves Bertot教授作為授課專家代表也表達(dá)了能夠?qū)⒆约旱目茖W(xué)研究成果與青年學(xué)生分享的喜悅。
由何積豐院士倡導(dǎo)并主持開辦的計(jì)算機(jī)科學(xué)領(lǐng)域的暑期研討班每年七月舉行，旨在為全國各地相關(guān)領(lǐng)域的碩士研究生、博士研究生以及青年教師提供一個(gè)學(xué)習(xí)和討論的平臺(tái)。今年暑期研討班的主題為“形式化方法即Coq系統(tǒng)”，邀請了來自法國Yves Bertot教授、Pierre Casteran 教授、 Sandrine Blazy教授、Jean-Francois Monin教授以及David Nowak教授等五位專家作為本次暑期學(xué)校的主講，為期一周。學(xué)員來自包括北京大學(xué)、中科院軟件所、清華大學(xué)、上海交通大學(xué)、南京大學(xué)、浙江大學(xué)和我校等來自十幾所高校的120余名研究生和青年學(xué)者參加。