2015年10月19-23日，受法国国家自动化研究所（INRIA）主席Michel Cosnard教授和和雷恩高师范校长Patrice Quinton教授邀请，计算机科学与bet体育365官网正规院长何积丰院士率代表团访问了法国国家自动化研究所雷恩分所（INRIA Rennes）、 雷恩高师和法国国家信息与自动化研究所总部。

       10月20日，华东师范大学代表团一行参加了雷恩高师主办的学可信软件国际合作交流会，何积丰院士、蒲戈光院长、陈仪香主任、朱慧彪主任和宋富博士分别介绍了我院在形式化方法、建模与测试、嵌入式系统、实时系统和信息安全方法的研究成果和发展规划。Vania Joloboff教授和Jean Pierre Talpin代表法国国家自动化研究所雷恩分所介绍了该所在建模与测试、实时系统的研究情况，Robert de Simone教授代表法国国家自动化研究所Sophia分所介绍了该所在实时系统方向的研究进展，里昂高师Daniel Hirschkoff教授和Anne Benoit教授、荷兰莱登大学Marcello Bonsangue教授以及爱尔兰都柏林大学圣三一学院Andrew Butterfield教授分别作了相关介绍。随后，各代表就如何依托我院国家可信软件国际联合中心开展国际学术合作、学术联合培养、教师互访等展开了热烈讨论，形成了以流动制项目为载体的合作方式。

何积丰院士介绍学院形式化方法研究进展

参会代表讨论国际合作事宜

       10月21日，代表团参观了法国国家自动化研究所雷恩分所，就华东师范大学和法国国家自动化研究所合作项目“大规模分布式系统静默错误的发现及处理研究”和“闲置资源共享的在线服务系统”研究进展、后续合作等问题进行了交流。

代表团参观法国国家自动化研究所雷恩分所

华东师范大学和法国国家自动化研究所合作项目讨论

       10月22日，计算机科学与bet体育365官网正规代表团与法国国国家自动化研究所主席Michel Cosnard教授、法国国国家自动化研究所国际合作部主任Thierry Priol教授和中法LIAMA联合实验室欧方主任Jean-Francois Monin等人进行了深入交流，就我院国家可信软件国际联合中心、LIAMA实验室和INRIA的合作规划达成了一致意见。

何积丰院士介绍院国家可信软件国际联合中心

INRIA主席Michel Cosnard教授介绍INRIA和LIAMA国际合作情况