- TECS Week 2003, 2-9 January 2003, Pune, India.
This meeting was organized by the Tata Research Development and Design
Centre. Part of the lectures was given by Prof. He Jifeng. 63
participants attended the meeting.
- Latin American Summer School on Component-based Software
Development, 24 February to 21 March, 2003, Neuquen, Argentina.
This school was organized in collaboration with the Department of
Computer Science, University of Comahue, Argentina. Part of the
lectures was given by Dr. Bernhard Aichernig. 33 participants
attended the school.
- Workshop on Formal Methods, 24 May 2003, Kathmandu, Nepal
This workshop was organised by Prof. Jay Bagga and UNU/IIST. Lectures
were given by Prof. Bagga and Chris George. Being a workshop, no
record of the number of participants was given.
- Workshop on Advanced Software Engineering, 1-2 June 2003,
Orissa, India
This workshop was organised by former fellow Sibu Udgata at the
Berhampur University. Chris George and Prof. Jay Bagga were invited
as lecturers for the workshop. Being a workshop, no
record of the number of participants was given.
- Formal Methods in Software Development, 11-22 August,
2003, Arequipa, Peru
This course was organized in collaboration with the Santa Maria Catholic
University, the San Agustin National University and the San Pablo
Catholic University. Lectures were given by Dr. Bernhard Aichernig.
?? participants attended the course.
- Summer School on Formal Models of Software,
31 August - 6 September 2003, Tunis, Tunisia
This school was co-organised with the IFIP WG2.3 at the Ecole
Polytechnique de Tunisie (EPT). Lecturers include
Ralph Back, Manfred Broy, Ernie Cohen, Rustan Leino and Liu Zhiming.
80 participants attended the school.
- Mini School on Duration Calculus, 25 Sep - 17 Oct 2003,
Hanoi, Vietnam
This course was organized in collaboration with the Hanoi National
University. Lectures were given by Dr. Dang Van Hung, Prof. He
Jifeng and Dr. Liu Zhiming. 71 participants attended the school.
- Formal Methods for Software Development, 15 Oct - 15 Nov 2003,
Guiyang, China
This course was organized in collaboration with the Guizhou Academy of
Sciences. Lectures will be given by Prof. He Jifeng, Mr. Chris
George and Dr. Liu Zhiming. 40 participants attended the course.
- Software Project Management, 29 Oct - 3 Nov 2003,
Pyongyang, DPR Korea
This course was organized in collaboration with the Academy of Sciences
in DPR Korea. Lectures were given by Mr. Chris George. 40
participants attended the course.
- UML, Testing and Model Checking, 17-30 November 2003,
Dakar, Senegal
This course was organized in collaboration with the Ecole Superieure
Polytechnique. Lectures were given by Dr. Dang Van Hung and
Dr. Bernhard Aichernig. 18 participants attended the course.
