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

2010年开放课题申请开始 2009.11

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

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

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

唐稚松院士治丧委员会答谢函 2008.7.27

唐稚松院士逝世（转载自《科学时报》2008年7月25日主版） 2008.7.25

胡锦涛、温家宝等领导人悼念唐稚松院士 2008.7.24

朱镕基同志悼念唐稚松院士 2008.7.24

路甬祥院长就唐稚松院士逝世向软件所致唁电 2008.7.22

沉痛悼念唐稚松院士 2008.7.21

唐稚松院士生平 2008.7.21

所召开实验室新一届主任及学委会主任任命会 2008.1

江院长一行视察实验室 2008.1

On-the-Fly Model Checking of Security Protocols 2009.11.30

Logic, Graphs and Parameterized Complexity 2009.11.27

Three years of research at the MSR-INRIA Joint Centre 2009.11.17

Model-based tool-chain for the design and analysis of embedded hybrid systems 2009.11.16

Embedded Systems Design ---- Scientific Challenges and Work Directions 2009.10.27

Unifying Theories of Data Flow 2009.10.15

Formal Security Proofs for Cryptographic Algorithms and Their Implementations 2009.9.10

Certification of Code-based Cryptographic Proofs 2009.9.1

Testing Finitary Probabilistic Processes 2009.7.27

A Graph-Based Operational Semantics of Object Oriented Programs 2009.7.16

The Future of Computer Science 2009.6.17

On Several Untypical Information Retrieval and Web Search Paradigms 2009.6.12

A resource-aware picalculus 2009.5.11

Two seminars given by two researchers from AIST 2009.4.23

Modular Concurrency Verification 2009.4.20

Specifying programs with propositions and with congruences 2009.4.14

The rCOS Modeler: model-driven development and integrated verification support 2009.3.9

Decision Algorithms for Probabilistic Simulations 2009.1.7

Synthesis of Designs from Property Specifications 2008.12.2 （PDF下载、音频下载）

A Pictorial Introduction to Separation Logic 2008.11.5 (ppt下载、音频下载)

A Revival of Data Dependencies for Improving Data Quality 2008.9.3

• APSEC 2008
• ATVA 2006
• QSIC03