• 2025-05-28第七届可信软件系统工程（国际）春季学校（SETSS 2025）在中国科学院软件研究所成功举办
• 2024-11-03实验室举办并发理论与形式化验证联合大会（CONFESTA 2018）
• 2024-10-18司马台古北水镇（工会活动）
• 2024-10-18实验室成功举办SETTA学术会议
• 2024-10-18第一届学术委员会第一次会议成功召开