下载中心
会议室预定
电子邮箱
新闻动态 更多>>
- 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年开放课题申请工作正式开始
- 2019-12-25软件所发布国内首个量子程序设计平台—isQ
- 2019-12-03实验室吴恩华研究员获ACM服务奖
实验室风采 更多>>
- 2024-11-03实验室举办并发理论与形式化验证联合大会（CONFESTA 2018）
- 2024-10-18司马台古北水镇（工会活动）
- 2024-10-18实验室成功举办SETTA学术会议
- 2024-10-18第一届学术委员会第一次会议成功召开