实验室动态 - 基础软件与系统重点实验室

新闻动态更多>>

2025-05-28第七届可信软件系统工程（国际）春季学校（SETSS 2025）在中科院软件所成功举办
2025-05-09软件所计数复杂性研究连中三元
2024-12-08软件所分布式SMT求解器研究工作获CAV杰出论文奖
2024-11-08基础软件与系统重点实验室（中国科学院）第一届学术委员会第一次会议成功召开
2024-11-03实验室举办并发理论与形式化验证联合大会（CONFESTA 2018）
2024-10-03欢送退休人员茶话会
2021-12-272022年开放课题申请工作正式开始
2020-10-28吴志林研究员获2020年“CCF-IEEE CS青年科学家奖”
2020-07-14蔡少伟团队获得SAT 2020国际比赛冠军
2020-01-022020年开放课题申请工作正式开始

实验室风采更多>>

Copyright © 2019-2024 计算机科学国家重点实验室 All Rights Reserved. 京ICP备05046678号-1