II/2/2/2/15 2006 Courses

1. Model Checking, 27-30 March 2006, Pyongyang, DPR Korea

   This course was given by Dr. Dang Van Hung. 58 people attended the course.

2. ARTIST2/UNU-IIST Spring School on Embedded Systems, 3-15 April 2006, Xian, China

   This school was co-organized with North West Polytechnic University and UNU-IIST. Part of the courses was given by Dr. Liu Zhiming. 50 people attended the school.

3. Security, Principles, Techniques and Verification, 4-8 April 2006, Iasi, Romania

   This course was given by Dr. Antonio Cerone. 21 people attended the course.

4. Model Checking, 2-10 May 2006, Ho Chi Minh City, Vietnam

   This course was given by Dr. Dang Van Hung. 40 people attended the course.

5. Relational Methods of Program Design and Analysis, 8-12 May 2006, Chongqing, China

   This course was given by Dr. Liu Zhiming. 25 people attended the course.

6. Model Checking, 15-19 May 2006, Chongqing, China

   This course was given by Dr. Dang Van Hung. 25 people attended the course.

7. School on Foundations of Electronic Governance, 25-27 July 2006, Abuja, Nigeria

   This school was co-organized with the National IT Development Agency, Government of Nigeria and UNU-IIST. About 100 civil servants from most ministries and departments and academics from universities across the country attended the school.

8. Model Checking, 7-18 August 2006, Shanghai, China

   This course was given by Dr. Dang Van Hung. 30 people attended the course.

9. Software Project Management, 3-7 September 2006, Khartoum, Sudan

   This course was given by Mr. Chris George. 41 people attended the course.

10. ICTAC 2006 School on refinement, 13-17 November 2006, Tunis, Tunisia

    This school was organized with ICTAC. Dr. Liu Zhiming taught a course on a Real-time and fault-tolerant Systems. There were some 50 participants from Tunisia, Algeria and Morocco attended the school.