• 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
• 2015-11-03图灵奖获得者Leslie Lamport博士访问计算机科学国家重点实验室
• 2013-10-22中国科学院“爱因斯坦讲席教授”、图灵奖获得者Edmund M. Clarke教授来访
• 2011-03-08图灵奖获得者Joseph Sifakis教授来访
• 2008-12-02图灵奖获得者Amir Pnueli教授来访
• 2008-11-05图灵奖获得者C.A.R. Hoare教授来访