软件学院举办LIAMA上海中心开放日暨“建模与验证驱动工程”暑期研讨班
软件学院举办LIAMA上海中心开放日暨“建模与验证驱动工程”暑期研讨班
7月7日-11日，由软件学院主办的中欧信息、自动化与应用数学联合实验室（LIAMA）上海中心开放日暨“建模与验证驱动工程”暑期研讨班在我校举办。LIAMA开放日暨暑期学校受到法国驻上海总领事馆、国家外专局、法国国家信息自动化研究所（INRIA）以及我校研究生院的资助。
我校党委副书记兼副校长任友群在致辞中介绍了我校与法国国家信息自动化研究所、法国高师集团的长期合作关系，对暑期学校邀请的各位专家表示欢迎。法国驻上海总领事馆科技参赞Frédéric BRETAR博士代表法领馆对LIAMA上海中心开放日的举办表示祝贺，希望中法科技交流能够越来越广泛和紧密。开幕式由软件学院副院长王长波教授主持。
我校党委副书记兼副校长任友群致辞
法国驻上海总领馆科技参赞 Frédéric BRETAR博士致辞
上海市高可信重点实验室常务副主任朱惠彪教授介绍了软件学院近年来国际交流合作的情况。LIAMA前法方主任、我校专职外籍教授Vania Joloboff介绍了LIAMA的历史和未来发展。
上海市高可信重点实验室常务副主任朱惠彪致辞
LIAMA前法方主任、我校外籍教授Vania Joloboff 致辞
随后举行的LIAMA开放日学术活动由教育部软硬件设计技术与应用工程技术研究中心主任陈仪香教授主持。复旦大学计算机学院王晓阳教授、台湾“中央研究院”资讯科学研究所Jane W.S. Liu 教授做了大数据前沿热点问题的特邀报告。
法国高师集团（ENS）和国家信息自动化研究所（INRIA）的Patrice Quinton教授、Xavier Rival教授、Marc Pouzet教授、Eric Madelaine教授、Frederic Mallet教授、Julien Deantoni副教授，以及我校软件学院朱惠彪教授、刘静教授、陈铭松副教授分别在建模与验证等研究领域交流了各自研究团队的最新研究结果。
文字、图片｜ 软件学院 来源｜ 软件学院 编辑｜ 新闻办