1999 Courses	Schedule of Past Courses	2001 Courses	UNU-IIST Home
2000 Courses

II/2/2/2/9 2000 Courses

1. Formal Software Specification using RAISE, Ho Chi Minh City, Vietnam, 10-14 January 2000.
   This course was jointly organized by UNU/IIST and the Vietnam National University. This course was given by Dr Tomasz Janowski.

2. Duration Calculus, Ho Chi Minh City, Vietnam, 17-18 January 2000.
   This course was given by Dr Dang Van Hung.

3. Formal Software Development using RAISE, Tunis, Tunisia, 1-12 February 2000.
   This course was given by Dr Richard Moore.

4. Duration Calculus, Tunis, Tunisia, 9-12 February 2000.
   This course was given by Dr Dang Van Hung.

5. Formal Software Development using RAISE, St Louis, Senegal, 14-26 February 2000.
   This course was given by Dr Richard Moore.

6. Duration Calculus, St Louis, Senegal, 22-25 February 2000.
   This course was given by Dr Dang Van Hung.

7. Theories of Programming, Singapore, 3-11 April 2000
   This course was given by Prof He Jifeng.

8. Formal Software Development using RAISE, Cebu, Philippines, 3-12 April 2000
   This course was given by Dr Tomasz Janowski.

9. Formal Methods for Software Development, Hong Kong, 6 April 2000
   This course was given by Mr Chris George.

10. Formal Software Development using RAISE, Tajikistan, 17-28 April 2000
    This course was given by Mr Chris George.

11. Formal Software Development using RAISE, San Luis, Argentina, 4-12 May 2000
    This course was given by Dr Tomasz Janowski.

12. Formal Software Development using RAISE, Jujuy, Argentina, 15-24 May 2000
    This course was given by Dr Tomasz Janowski.

13. Formal Software Development using RAISE, Havana, Cuba, 29 May - 9 June 2000
    This course was given by Mr Chris George.

14. Formal Software Development using RAISE, Ulaanbaatar, Mongolia, 12-20 June 2000
    This course was given by Dr Richard Moore.

15. Formal Software Development using RAISE, Botswana, 12-21 June 2000
    This course was given by Mr Chris George.

16. Specification and design of hybrid systems using DC, Ulaanbaatar, Mongolia, 21-23 June 2000
    This course was given by Prof He Jifeng.

17. Unifying theories of programming, Joao Pessoa, Brazil, 2-4 October, 2000. This course was given by Prof. He Jifeng.

18. Algorithmics, Introduction to the Science of Computing, Chittagong, Bangladesh, 8-17 October 2000
    This course was given by Dr Tomasz Janowski.

19. Formal Software Development using RAISE, Almaty, Kazakhstan, 16-27 October 2000. Jointly organised with UNESCO Almaty office. This course was given by Dr Richard Moore.

20. Formal methods in Software Development, Maputo, Mozambique, 23 October - 3 November 2000. Jointly organised in collaboration with the Comissao para a Politica de Informatica, the Centro de Informatica, and the Departamento de Matematica e Informatica da Universidade Eduardo Mondlane. This course was given by Mr Chris George.

21. Formal methods in Software Development, Harare, Zimbabwe, 6-17 November 2000. Jointly organised with the Department of Computer Science, University of Zimbabwe. This course was given by Mr Chris George.

2000 Courses
1999 Courses	Schedule of Past Courses	2001 Courses	UNU-IIST Home