由华东师范大学牵头，联合法国高师集团、荷兰莱顿大学、荷兰国家数学与信息研究院(CWI)、法国IRISA实验室、法国里昂LIP实验室、南京大学、西北工业大学等组建的可信软件国际合作联合实验室，已于2015年5月7日得到教育部批复正式立项建设。

       7月15日，教育部可信软件国际合作联合实验室第一次理事会会议在上海顺利召开。来自国际合作联合实验室的协同单位以及相关领域的专家共同审议并讨论国际合作联合实验室工作计划及发展规划。出席会议的专家包括法国高师集团Rennes大学IRISA实验室主任Jean-Marc Jezequel教授，法国法国国家信息自动化研究所索菲亚分院的Eric Madelaine教授，法国INRIA的Vania Joloboff研究员，法国尼斯大学的Frédéric MALLET教授，西安交通大学副校长郑庆华教授，南京大学计算机系主任李宣东教授，西北工业大学科技处李蕴处长、计算机学院副院长杜承烈教授，国家信息安全研究院冯登国院长，总参二部周志鑫局长，中科院上海高等研究院封松林研究员，上海科学院曹阿民院长，上海电器科学研究院戚琛琛总经理，上海申通集团赵时旻总工程师，中国电信上海研究院张颉华院长，中国电科集团三十二所游小明所长等。华东师范大学副校长汪荣明教授到会致辞，国际交流处副处长王素斌、科技处处长张文以及软件学院的教师代表近20人列席了会议。会议由华东师范大学科技处处长张文教授主持。

       华东师范大学副校长汪荣明首先对各位参会专家表示欢迎，对长期以来支持和帮助可信软件国际合作联合实验室筹建的理事会专家表达衷心的感谢，随后介绍了可信软件国际合作联合实验室的建设背景，对国际合作联合实验室的发展提出了更高的期望。

华东师范大学汪荣明副校长致欢迎辞

       随后，华东师范大学副校长汪荣明教授和法国法国国家信息自动化研究所索菲亚分院Eric Madelaine教授共同为可信软件国际合作联合实验室揭牌。

为可信软件国际联合合作实验室揭牌

       可信软件国际合作联合实验室中方主任、华东师范大学软件学院院长何积丰院士作了国际合作联合实验室的工作计划报告，详细介绍了国际合作联合实验室的建设目标、筹建过程、组织结构、近期活动以及未来工作计划。

何积丰院士作实验室工作计划汇报

       与会的理事会委员和专家分别就国际合作联合实验室的工作计划和运行机制展开热烈的讨论，为实验室发展建言献策。专家们认为联合实验室定位清晰，建设目标明确，工作计划可行，并纷纷表示可以与实验室联合开展产学研用方面的合作。期待国际合作联合实验室能够进一步体制机制改革，聚焦可信软件的重大行业需求，取得更多更优秀的研究成果。可信软件国际合作联合实验室第一次理事会的召开，为实验室下一步的建设指明了方向，明确了目标。

参会人员合影