计算机科学国家重点实验室招聘秘书、编程人员

计算机软件新技术-计算机科学国家重点实验联合学术研讨会

模型检测暑期讲习班

第一届计算机科学-计算机软件新技术国家重点实验室联合学术研讨会在南京成功举办 2009.11

2010年开放课题申请(截止) 2009.11

图灵奖获得者Amir Pnueli教授来访 2008.12

图灵奖获得者C.A.R. Hoare教授来访 2008.11

2009年开放课题申请工作开始 2008.11

A Model of Cooperative Threads 2010.6.17

Reverse Engineering With Grammatical and Visual Suppor 2010.6.4

Creating a science base to support new directions in computer science 2010.5.24

Improving Software Quality with Parfait 2010.5.12

Grammar Inference Technology Applications in Software Engineering 2010.5.11

Internet-based Control Systems Design and Application 2010.4.22

Challenges, Approaches and Benefits of Standardisation for Safety in Railway
2010.4.19

CAP UNIFICATION : A Tool for Crypto Protocol Analysis 2010.4.12

Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction 2010.3.26

Scope Logic及其设计动机 2010.3.8

• APSEC 2008
• ATVA 2006
• QSIC03