Turing Year in China

2012年开放课题申请工作正式开始

ARTIST 嵌入式系统设计暑期讲习班(2011年8月8日至12日)

2011年开放课题申请工作正式开始(截止)

模型检测暑期讲习班

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

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

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

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

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

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

Degrees of non-determinacy of computable games and linear logic 2012.1.5

Redundant Synchronization Event Removal for Data Race Detection 2011.12.20

Fault Localization Inspired by the PIE Model 2011.12.15

Data-driven display advertising in USA and China 2011.12.13

Specification Theories of Modal Transition Systems 2011.12.08

The MSO Theory of Connectedly Communicating Processes 2011.12.5

Symbolically Bounding the Drift in Time-Constrained Message-Sequence-Chart Graphs 2011.12.1

Language Theoretic CEGAR 2011.11.29

Monitor-Based Statistical Model checking for Weighted Metric Temporal Logic 2011.11.17

Complexity Issues of Ternary Boolean Diagrams 2011.11.11

On the origin of events: maximal confluent processes 2011.11.3

Software and System developments using Formal Models, Refinements, and Proofs with Event-B 2011.10.28

Recent advances in program synthesis 2011.10.20

Game Solving for Industrial Automation and Control - Models, Algorithms, and Tools 2011.10.18

Real Time Edit Propagation by Efficient Sampling 2011.10.12

Making big steps in trajectories 2011.9.8

Security and privacy implications of the multi-component nature of Software-as-a-Service 2011.9.1

Towards a Coalgebraic Interpretation of Propositional Dynamic Logic 2011.7.27

Model-Checking Algorithms for CTMDPS 2011.7.27

Formal validation and requirements management based on the Jackson's reference model 2011.7.14

Constant-Approximation for Minimum Connected Dominating Set with Small Routing Cost in Wireless Sensor Networks 2011.6.24

Logic, Co-induction and Infinite Computation 2011.6.21

A new style of theorem proving for program checking 2011.6.9

Specification in PDL with Recursion 2011.5.26

A journey into the semantics of programming languages 2011.5.24

Analyzing Semilinear and Upward-closed Sets of Petri Nets 2011.5.19

Probabilistic Model Checking for Markov chains & Solving ODEs 2011.5.11

A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems 2011.1.13

Incremental Component-based Construction and Verification 2011.1.6

• APSEC 2008
• ATVA 2006
• QSIC03