now163
- 科研人员2019-03-14
- 特邀报告2019-03-14
- 学术专著2019-03-14
- 基础设施2019-03-14
- 2019年开放课题申请工作正式开始2019-01-29
- 周巢尘院士荣获中国计算机学会(CCF)终身成就奖2019-01-22
- 张健研究员当选CCF会士2019-01-21
- 量子软件团队推出国际首个量子程序证明工具2019-01-11
- 林惠民院士忆高考:迟到了13年的大学梦2018-12-27
- 国家重点研发计划“量子程序设计理论、方法与工具”项目启动会暨实施方案论证会顺利召开2018-10-18
- 软件所成功举办“量子软件:从理论到实现”研讨会2018-10-16
- 实验室成功举办并发理论与形式化验证联合大会(CONFESTA 2018)2018-09-16
- 计算机科学国家重点实验室招收2017年推免研究生2016-09-21
- 图灵奖获得者Leslie Lamport博士访问计算机科学国家重点实验室2015-11-03
- 唐稚松先生学术思想研讨会2015-08-19
- The Evolutionary Benefit of Recombination2015-08-19
- 计算机科学实验室开放周活动(2015年5月16~22日)2015-05-14
- 不可行路径片段制导的线性混成自动机有界可达性检验及全局性质推导2014-12-29
- Practical Concurrent and Parallel Programming2014-12-09
- Communicating Transactions (a Survey)2014-12-09