http://www.gongnenshafa.com

南非历史

时间:2020-04-29

吕氏贵宾会官网 1

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

软件学院举办LIAMA上海中心开放日暨“建模与验证驱动工程”暑期研讨班

  7月7日-11日,由软件学院主办的中欧信息、自动化与应用数学联合实验室(LIAMA)上海中心开放日暨“建模与验证驱动工程”暑期研讨班在我校举办。LIAMA开放日暨暑期学校受到法国驻上海总领事馆、国家外专局、法国国家信息自动化研究所(INRIA)以及我校研究生院的资助。

  我校党委副书记兼副校长任友群在致辞中介绍了我校与法国国家信息自动化研究所、法国高师集团的长期合作关系,对暑期学校邀请的各位专家表示欢迎。法国驻上海总领事馆科技参赞Frédéric BRETAR博士代表法领馆对LIAMA上海中心开放日的举办表示祝贺,希望中法科技交流能够越来越广泛和紧密。开幕式由软件学院副院长王长波教授主持。

吕氏贵宾会官网 5

我校党委副书记兼副校长任友群致辞

吕氏贵宾会官网 6

吕氏贵宾会官网,  法国驻上海总领馆科技参赞 Frédéric BRETAR博士致辞