Conferences
From State Key Laboratory of Computer Science
Main Page > Exchanges > Conferences > Conferences
Hosted and Sponsored Conferences
- Joint Workshop Between SKLCS and SKLNST, 2011
- ARTIST Summer School on Embedded System Design, 2011.August.8th-August.12nd
- Summer School on Model Checking, 2010.October 11th-16th
- Joint Workshop Between SKLCS and SKLNST, 2010
- 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 3-5 December 2008
- Fourth International Symposium on Automated Technology for Verification and Analysis (ATVA 2006), 23-26 October 2006
- Third International Conference on Quality Software (QSIC 2003), 6-7 November 2003
