2016年7月11日，“自动机的余代数方法暑期学校”暨“夏令营开幕式”在中北校区理科楼B222会议室成功举行，此次暑期学校由国家可信软件国际联合研究中心暨教育部可信软件国际联合合作实验室主办，尊龙凯吋官方网站计算机科学与尊龙凯吋官方网站承办。
开幕式由计算机科学与尊龙凯吋官方网站常务副院长王长波教授主持，计算机科学与尊龙凯吋官方网站院长何积丰院士，研究生院招生办公室主任刘勇老师，来自荷兰莱恩大学的Marcello Bonsangue教授做了简短而精彩的发言，来自全国各地的共百余名硕博士生参加了开幕式。
王长波常务副院长主持
在会议开始时，计算机科学与尊龙凯吋官方网站院长何积丰院士，向暑期学校与夏令营学员介绍软件学院的暑期学校的历史、发展和未来，希望通过教育部国际可信软件国际合作联合实验室这一更高平台，将暑期学校的高度和广度提到更高，并希望同学们能够在暑期学校和夏令营的学习与体验中有所收获。
何积丰院士致辞
来自荷兰莱恩大学的Marcello Bonsangue教授对近几年和尊龙凯吋官方网站的科学研究合作、硕博士生联合培养等全方位合作进行介绍，并希望未来能通过教育部可信软件国际联合实验室平台进行保持更加密切统一的合作关系。
Marcello Bonsangue副教授致辞
外国专家合影
尊龙凯吋官方网站研究生院招生办公室主任刘勇老师也对软件学院首次举办全国优秀大学生夏令营的行程及内容进行了介绍。
最后，自动机的余代数方法暑期学校暨夏令营全体成员合影留念。
学员合影
此次“模型驱动模型暑期学校”和“全国优秀大学生夏令营”将持续一周。来自全国各地的90余名硕士博士生将参加暑期学校，30余名大三本科生将参加夏令营活动。
