Latin American Summer School on Component-based
Software Development in Neuquen, Argentina 24 February - 21 March, 2003.
Host: University of Comahue, Argentina. Participants: 60
participants from Argentina, Chile, Colombia, Paraguay, Peru. Lecturers
included Dr.Bernhard K. Aichernig from UNU-IIST, and all the other
lecturers were former UNU-IIST fellows from Argentina.
IFIP 2.3 conducted and UNU-IIST sponsored a school on
Formal Models of Software in Tunis,
Tunisia, 1-6 October, 2003,
http://www.cck.rnu.tn/ecole-IFIPWG23/.
Host: Ecole Polytechnique de Tunisie (EPT).
Participants: 70 from Tunisia, Algeria, Lebanon, UK (1) and Italy (1).
Lecturers included Dr. Liu Zhiming from UNU-IIST on
Fault-Tolerant and Real-Time Systems: Specification,
Verification, Refinement and Scheduling.
UNU-IIST and the Guizhou Academy of Sciences organised an
International Training School on Computer Software Technology,
Guiyang, China, 15 October - 15 November, 2003. Lecturers included
Prof. He Jifeng on Introduction to B language and Method and
Introduction to Unifying Theories of Programming, Chris George
on RAISE Applications, and Dr. Liu Zhiming on OO Software
Development with UML. Two other lecturers were former UNU-IIST
fellows. There were 32 participants from about 20 countries.
Formal Methods in Software Development, Arequipa,
Peru, 11-22 August, 2003, lecturer: Dr. Bernhard K. Aichernig,
40 participants.
XML Technology
for Language Design and Processing, Macao, 15-27 September, 2003,
lecturer: Dr. Tomasz Janowski, 40 participants.
Introduction to Model Checking Techniques, Hanoi, Vietnam, 29 September
- 3 October, 2003, lecturer: Dr. Dang Van Hung, 50
participants.
Unifying Theories of Programming, Hanoi, Vietnam,
3-8 October, 2003, lecturer: Prof. He Jifeng, 50 participants.
Object-Oriented Software Development with UML, Hanoi,
Vietnam, 13-17 October, 2003, lecturer: Dr. Liu Zhiming, 50 participants.
Software Project Management, Pyongyang, DPR Korea,
29 October - 3 November, 2003, lecturer: Chris George, 40 participants.
Introduction to Model Checking Techniques, Dakar,
Senegal, 17-21 November, 2003, lecturer: Dr. Dang Van Hung, 40
participants.
Foundations of Software Testing, Dakar,
Senegal, 24-29 November, 2003, lecturer: Dr. Bernhard K. Aichernig, 40
participants.
Formal Methods in Software Development, Lanzhou Jiatong University,
Lanzhou, China, December 15-19, 2003, lecturer: Dr. Bernhard K. Aichernig,
39 participants.
