2010年1月8日和9日，高可信软件技术教育部重点实验室2009年度工作总结会在九华山庄举行

2010年1月8日和9日，高可信软件技术教育部重点实验室2009年度工作总结会在九华山庄举行，实验室的62位老师出席了会议。本次会议首先由实验室主任梅宏教授介绍了2009年实验室的整体研究进展，然后20多名老师分别汇报了各自所在的研究方向2009年的研究进展，金芝教授宣布了2009年实验室的学术奖励名单，最后老师们对实验室2010年的规划进行了热烈的讨论。