- 2014-11-18“软件与网络安全” 科学与技术前沿论坛成功召开
- 2014-10-24中国科学院学部“软件与网络安全”科学与技术前沿论坛
- 2014-08-21实验室2014年9月初进行推免生的招生工作
- 2014-03-122014年开放课题申请工作正式开始
- 2013-10-22中国科学院“爱因斯坦讲席教授”、图灵奖获得者Edmund M. Clarke教授来访
- 2013-01-062013年开放课题申请工作正式开始
- 2012-04-05实验室研究生龙震岳的论文获ETAPS Best Paper Award
- 2012-01-12Turing Year in China
- 2011-12-022012年开放课题申请工作正式开始
- 2011-09-24实验室广播操队参加中科院第五届暨京区第十三届职工田径运动会取得佳绩
- 2011-08-08ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)
- 2011-03-08图灵奖获得者Joseph Sifakis教授来访
- 2008-12-02图灵奖获得者Amir Pnueli教授来访
- 2008-11-05图灵奖获得者C.A.R. Hoare教授来访