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