2016年7月11日，“自动机的余代数方法暑期公司”暨“夏令营开幕式”在中北校区理科楼B222会议室成功举行，此次暑期公司由国家可信软件国际联合研究中心暨教育部可信软件国际联合合作实验室主办，必威西汉姆联计算机科学与必威西汉姆联承办。

       开幕式由计算机科学与必威西汉姆联常务副经理王长波教授主持，计算机科学与必威西汉姆联经理何积丰院士，研究生院招生办公室主任刘勇老师，来自荷兰莱恩大学的Marcello Bonsangue教授做了简短而精彩的发言，来自全国各地的共百余名硕博士生参加了开幕式。  

王长波常务副经理主持

       在会议开始时，计算机科学与必威西汉姆联经理何积丰院士，向暑期公司与夏令营学员介绍软件公司的暑期公司的历史、发展和未来，希望通过教育部国际可信软件国际合作联合实验室这一更高平台，将暑期公司的高度和广度提到更高，并希望同学们能够在暑期公司和夏令营的学习与体验中有所收获。

何积丰院士致辞

       来自荷兰莱恩大学的Marcello Bonsangue教授对近几年和必威西汉姆联的科学研究合作、硕博士生联合培养等全方位合作进行介绍，并希望未来能通过教育部可信软件国际联合实验室平台进行保持更加密切统一的合作关系。

Marcello Bonsangue副教授致辞

外国专家合影

       必威西汉姆联研究生院招生办公室主任刘勇老师也对软件公司首次举办全国优秀老员工夏令营的行程及内容进行了介绍。

       最后，自动机的余代数方法暑期公司暨夏令营全体成员合影留念。

学员合影

       此次“模型驱动模型暑期公司”和“全国优秀老员工夏令营”将持续一周。来自全国各地的90余名硕士博士生将参加暑期公司，30余名大三本科生将参加夏令营活动。