now163
- 计算机科学国家重点实验室招收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
- Fast sheet-defined functions in spreadsheets2014-12-03
- Abstraction-based Computation of Reward Measures for Markov Automata2014-12-01
- Quantum simulation: challenges and opportunities2014-11-24
- Probabilistic Termination2014-11-24
- “软件与网络安全” 科学与技术前沿论坛成功召开2014-11-18
- Efficient Data Structures and Sorting Algorithms for Bisimulation2014-11-13
- 云服务集成中的安全问题,以及程序分析技术在这一领域的潜力(Security Problems in Cloud Services Integration, and the Potential of Program Analysis Technologies in This Field)2014-10-29
- 中国科学院学部“软件与网络安全”科学与技术前沿论坛2014-10-24
- Full Abstraction for a Probabilistic Functional Programming Language2014-10-24
- 对缺陷静态检测的一些思考和探索(Thoughts and Explorations on Static Detection of (Software) Defects)2014-10-08
- 硬件辅助的软件可信性运行时检测技术(Hardware-assisted Runtime Verification of Software Trustworthiness)2014-10-08
- INTrEPID: A project on energy optimization in buildings2014-09-05