Main Page
From State Key Laboratory of Computer Science
Main Page
SKLCS News
Turing Year in China
2012年开放课题申请工作正式开始
实验室广播操队参加中科院第五届暨京区第十三届职工田径运动会取得佳绩
ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)
图灵奖获得者Joseph Sifakis教授来访
SKLCS Seminar
| 先进列车运行控制技术的研究与发展(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) |
