 |
 |
||
| The Laboratory of Computer Science (LCS) was founded in 1993 as a department of Institute of Software, upgraded to a Key Laboratory of Chinese Academy of Sciences in 1994, and further upgraded to a State Key Laboratory in 2007. | Professor Luo Zhaohui from University of London visited the lab 2007.12.6-12.14 |
||
| The Academic Committee meeting was held 2007.11.4 |
|||
| Professor Kim Guldstrand Larsen from University of Aalborg visited the lab 2007.8.11-8.17 |
|||
| Professor Neng-Fa Zhou from City University of New York visited the lab 2007.5.14-5.21 |
|||
| Professor Jia-Huai You from University of Alberta visited the lab 2007.3.7-3.22 |
|||
| <<more | <<more | ||
|
|
|
||
| 2008.7.8 | Imperative
Programs on Numbers: Mechanization of Loop Invariant Generation and Loop
Termination  |
||
| 2008.6.30 | Perspectives
in Probabilistic Verification (download) |
||
| 2008.6.10 | Verification as a Parameterized Testing | ||
| 2008.6.6 | Program Systems Institute of the Russian Academy of Sciences (PSI RAS). Short Introduction | ||
| 2008.4.21 | Efficient Query Answering over Ontologies | ||
| 2008.3.31 | Model-Based Validation of QoS Properties of Biomedical Sensor Netwroks | ||
| 2008.3.28 | Tool supported real-time system verification techniques based on abstraction/deduction and model checking | ||
|
ADD: 4# South Fourth Street, Zhong Guan Cun, Beijing, P.O.Box 8718, 100190, P.R.China. TEL: +86-010-62661616 |
