• 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服务奖
• 2019-11-06计算机科学国家重点实验室召开2019年学术委员会年度会议
• 2019-07-25形式化方法暑期学校将于2019年8月6~15号举行
• 2019-01-292019年开放课题申请工作正式开始
• 2019-01-22周巢尘院士荣获中国计算机学会（CCF）终身成就奖
• 2019-01-21张健研究员当选CCF会士
• 2019-01-11量子软件团队推出国际首个量子程序证明工具
• 2018-12-27林惠民院士忆高考：迟到了13年的大学梦
• 2018-10-18国家重点研发计划“量子程序设计理论、方法与工具”项目启动会暨实施方案论证会顺利召开
• 2018-10-16软件所成功举办“量子软件：从理论到实现”研讨会
• 2018-09-16实验室成功举办并发理论与形式化验证联合大会（CONFESTA 2018）
• 2016-09-21计算机科学国家重点实验室招收2017年推免研究生
• 2015-11-03图灵奖获得者Leslie Lamport博士访问计算机科学国家重点实验室
• 2015-08-19唐稚松先生学术思想研讨会
• 2015-05-14计算机科学实验室开放周活动（2015年5月16~22日）