• 组织管理2024-11-30
• 约束求解研究室2024-11-25
• 研究方向2024-11-25
• Towards Safe AI for Cyber-Physical Systems2024-11-22
• 最优化模理论及其程序分析应用2024-11-21
• Formal Verification of eBPF interpreter and Just-In-Time compiler2024-11-20
• 党支部实践活动——红色背篓教育基地&周口店遗址科学家纪念园参观学习2024-11-15
• Automated Auditing of Blockchain Smart Contracts Using Large Language Models2024-11-12
• 基础软件与系统重点实验室（中国科学院）第一届学术委员会第一次会议成功召开2024-11-08
• 实验室举办并发理论与形式化验证联合大会（CONFESTA 2018）2024-11-03
• 中国科学院软件研究所基础软件与系统重点实验室招聘启事2024-10-18
• 司马台古北水镇（工会活动）2024-10-18
• 实验室成功举办SETTA学术会议2024-10-18
• 第一届学术委员会第一次会议成功召开2024-10-18
• 欢送退休人员茶话会2024-10-03