首页
出自计算机科学国家重点实验室
首页
| 相关下载 | |
|---|---|
| 开放课题 | 管理办法，相关表格 |
| 开放资源 | 管理办法，相关表格 |
实验室动态
- Turing Year in China
- 2012年开放课题申请工作正式开始
- 实验室广播操队参加中科院第五届暨京区第十三届职工田径运动会取得佳绩
- ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)
- 图灵奖获得者Joseph Sifakis教授来访
- 图灵奖获得者Amir Pnueli教授来访
- 图灵奖获得者C.A.R. Hoare教授来访
学术报告
| 先进列车运行控制技术的研究与发展(2012/01/13, 10:00, 唐涛教授) |
| Multiparty session types and Multiparty Session Automata(2012/01/11, 15:00, Dr. Pierre-Malo Deniélou) |
| Degrees of non-determinacy of computable games and linear logic(2012/01/05, 15:00, Mr. Zhenhao Li) |
| Redundant Synchronization Event Removal for Data Race Detection(2011/12/20, 15:00, Dr. W.K.Chan) |
| Fault Localization Inspired by the PIE Model(2011/12/15, 15:00, Dr. Zhengyu Zhang) |