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