- Workshop on Software Testing, 4-6 January
2001, Hyderabad, India
This course was given by Mr. Chris George.
- Training course on Software Project Management, 15-19
January 2001, UNU/IIST, Macau
This course was given by Rajesh Vasa and Edmonds Lau from the Center
of Software Engineering, School of Information Technology, Swinburne
University of Technology, Australia. About 70 people from Macau,
Zhuhai and other parts of China attended this course.
- Formal Software Specification using RAISE, 1-11 March
2001, Kathmandu University, Nepal
This course was given by Dr. Tomasz Janowski.
- Duration Calculus and Fault-Tolerant Real-Time Concurrent
Systems, 7-13 May 2001, Guiyang city, Guizhou, China
This course was given by Dr. Dang Vun Hung.
- Formal software development using RAISE, 14-18 May 2001,
Guiyang city, Guizhou, China
This course was given by Mr. Chris George.
- Course on VDM, 4-10 June 2001, Ile-Ife, Nigeria
This course was given by Dr. Richard Moore.
- Real-Time Systems Development with Duration Calculus,
11-15 June 2001, Ile-Ife, Nigeria.
This course was given by Dr. Dang Vun Hung.
- Software Project Management, 18-22 June 2001, Harare,
Zimbabwe
This course was given by Mr. Chris George.
- Mongolia Summer School in Software Engineering, 30 July
2001 to 17 August 2001, Ulaanbaatar, Mongolia
This school was held in collaboration with the National University of
Mongolia. The school covers the following topics:
- Software Project Management (given by Chris George)
- Internet Programming (given by Robert McArthur)
- Databases and Distributed Database Management Systems (given by
Dennis Remmer)
- Formal Methods in Software (given by Richard Moore)
- Course on RAISE and Software Project Management, 6-17
August 2001, Tegucigalpa, Honduras
This course was given by Alejandra Cechich.
- In-House training course on Techniques for Software Specification
and Verification, 17 September to 5 October 2001, UNU/IIST, Macau
In addition to giving courses on RAISE and DC by the academic staff as
usual, Prof. Kees Middelburg will present a course on process algebra,
Dr. Xu Qiwen will present a course on model checking and Prof. He
Jifeng will present a course on software/hardware codesign.
- Course on Theoretical Aspects of Computer Science, 15
October to 9 November 2001, Chennai, India
This course was organized in collaboration with the Institute of
Mathematical Sciences. Course lecturers included scientists at
IMSc, UNU/IIST and other Institutes in India who are engaged in active
research in these and related areas.
- Training course in Formal Software Development and Software
Project Management, 12-24 November 2001, Lanzhou, China
To train software engineers and academics in software development and
management techniques.
- Software Project Management, 19-30 November 2001,
Shanghai, China
This course is part of a training school organized by the
Asia-Pacific Regional Office on City Informatization, UNU/IIST and
East China Normal University. The school also includes another
course on Software Development Process Using UML. This course was
given by Prof. He Jifeng. Dr. Rajesh Vasa was also invited to give
lectures during the course.
- Summer School on Object-Oriented Processes and
Technologies, 3-15 December 2001, Recife, Brazil
This summer school was organized in collaboration with the
Universidade Federal de Pernambuco, Recife, Brazil. This school was
given by 5 local lecturers and Prof. He Jifeng.
- Workshop on Mobile Computing System and Formal Methods,
15-19 December 2001, Hyderabad, India
This course was organized in collaboration with the University of
Hyderabad, India. The course was given by Mr. Chris George and
Dr. Hrushikesha Mohanty.
