2015年12月19-20日高可信软件技术教育部重点实验室年会暨第五届高可信软件专题研讨会在北京大学召开，重点实验室成员和来自国内外专家学者及国内各高校的教师学生参加了会议。会上，梅宏主任首先对与会人员表示欢迎和感谢；金芝副主任作《年度工作报告》；黄锦辉副主任作了《香港分实验室工作报告》；最后与会人员对重点实验室的建设提出了建议。同时召开的第五届高可信软件专题研讨会邀请到国内外同行专家作16场专题学术报告。
