1995 Courses	Schedule of Past Courses	1997 Courses	UNU-IIST Home
1996 Courses

II/2/2/2/5 1996 Courses

1. Formal Sofware Specification using RAISE
   Hanoi, Vietnam, 22 January - 3 February 1996. Chris George.

2. Formal Software Development Methods and the Duration Caluli: From Programmes to Large Scale Systems; Reactive and Hybrid System
   Bangalore, India, 15-27 April 1996. Chris George, Paritosh K. Pandya TIFR, Dines Bjørner, Girish Palshikar TRDDC, Kesav Nori TRDDC.

3. Formal Software Specification using RAISE
   San Luis, Argentina, 29 April - 10 May 1996, Chris George.

4. Formal Software Specification using RAISE
   National University of VietNam, Hanoi, 6-17 May 1996. Richard Moore.

5. Formal Software Specification using RAISE
   National University of Mongolia, Ulaanbaatar, Mongolia, 26 August - 2 September 1996. Richard Moore.

6. Beyond SDL
   Middle East Technical University, Ankara, Turkey, 5-7 May 1996; Kees Middelburg

7. Beyond SDL
   Polytechnica University Bucharest, Romania, 9-10 May 1996. Kees Middelburg

8. Beyond SDL
   Kiev University, Ukraine 12-14 May 1996. Kees Middelburg

9. Formal Software Development Methods and the Duration Calculi: From Programmes to Large-Scale Systems: Reactive and Hybrid Systems
   UNU-IIST Macau, 2-20 September 1996

10. Tutorial on RAISE
    Libreville, Gabon, 7-8 October. Richard Moore.

11. Formal Software Development Methods and the Duration Calculi: Large-Scale Systems, Reactive & Hybrid Systems
    San Luis, Argentina; 11-22 November 1996. Dines Bjørner, Dang Van Hung (as part of a World Bank-funded project )

12. Formal Software Development Methods and Duration Calculi: From Programs to Large-Scale Systems
    Curitiba, Parana, Brazil; November 1996; Chris George, Dines Bjørner, Dang Van Hung (Co-sponsor: CNPq, Brazil)

13. Formal Software Specification using RAISE
    Moscow, Russia, 11-23 November 1996. Soren Prehn and Jan Storbank Pedersen.

14. Beyond SDL
    Manila, Philippines; December 1996. Kees Middelburg

1996 Courses
1995 Courses	Schedule of Past Courses	1997 Courses	UNU-IIST Home