由我校软件学院（SEI），法国国家自动化研究中心（INRIA）以及中法计算机自动化以及应用数学联合实验室（LIAMA）联合主办的“形式化方法即Coq系统”暑期学校的开班仪式于7月16日上午在数学馆举行。 任友群副校长、法国驻上海领事馆副领事Gilles Merceron先生，软件学院院长何积丰院士以及五位来自法国的授课专家和全体学员出席了开班仪式。 开班仪式由软件学院副院长陈仪香教授主持。
    任友群副校长在致辞中对外国专家的到来表示欢迎，希望暑期学校能够作为对研究生学术培养的一个有力补充。法国驻上海领事馆副领事Gilles Merceron先生对软件学院与法国研究机构的合作研究给予了充分的肯定，并对我校学术研究领域的交流合作和人才培养模式的创新给予了赞赏。 bat365在线中国登录入口软件学院院长何积丰院士介绍了软件学院开办暑期学校的宗旨，并对学员提出了希望。 最后，Yves Bertot教授作为授课专家代表也表达了能够将自己的科学研究成果与青年学生分享的喜悦。
    由何积丰院士倡导并主持开办的计算机科学领域的暑期研讨班每年七月举行，旨在为全国各地相关领域的硕士研究生、博士研究生以及青年教师提供一个学习和讨论的平台。今年暑期研讨班的主题为“形式化方法即Coq系统”，邀请了来自法国Yves Bertot教授、Pierre Casteran 教授、 Sandrine Blazy教授、Jean-Francois Monin教授以及David Nowak教授等五位专家作为本次暑期学校的主讲，为期一周。学员来自包括北京大学、中科院软件所、清华大学、上海交通大学、南京大学、浙江大学和我校等来自十几所高校的120余名研究生和青年学者参加。