首页
出自计算机科学国家重点实验室
首页
| 相关下载 | |
|---|---|
| 开放课题 | 管理办法，相关表格 |
| 开放资源 | 管理办法，相关表格 |
实验室动态
- 2013年开放课题申请工作正式开始
- 实验室研究生龙震岳的论文获ETAPS Best Paper Award
- Turing Year in China
- 2012年开放课题申请工作正式开始
- 实验室广播操队参加中科院第五届暨京区第十三届职工田径运动会取得佳绩
学术报告
| Develop Fine-Grained Access Control Systems for Smartphones(2013/05/17, Wenliang Du (杜文亮)) |
| Automata for counting data, and some logic(2013/05/20, R. Ramanujam) |
| High-Level Parallel Programming with Parallel Skeletons in Haskell(2013/05/16, Jost Berthold) |
| Reasoning about State Invariants and Constraints in Artificial Intelligence(2013/04/26, Yongmei Liu) |
| Randomized Postoptimization of Covering Arrays(2013/03/17, 10:00 to 12:00. Charlie Colbourn) |
