• 2024-11-03实验室举办并发理论与形式化验证联合大会（CONFESTA 2018）
• 2024-10-18司马台古北水镇（工会活动）
• 2024-10-18实验室成功举办SETTA学术会议
• 2024-10-18第一届学术委员会第一次会议成功召开