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

II/2/2/2/6 1997 Courses

1. Formal Software Specification using RAISE
   ISIT, Kyushu, Fukuoka, Japan, 9-14 March 1997, Richard Moore.

2. Formal Software Specification using RAISE
   Beijing, China, 21-25 April 1997, Tomasz Janowski.

3. Series of Seminars on Duration Calculus
   Russia (Institute for Problems of Informatics, Russian Academy of Sciences, Laboratory for Operations Research, University of St. Petersburg), Ukraine (Department of Programming Theory, Kiev Taras Shevchenko University), Bulgaria (Faculty of Mathematics and Computer Science, Sofia University), and Romania (Department of Computer Science, University of Bucharest), 17 April - 9 May 1997, Zhou Chaochen.

4. SDL and its use in Software Development
   Beijing University of Post and Telecommunications, China, 7-11 July 1997, Kees Middelburg.

5. Formal Software Specification using RAISE
   Institut Africain d'Informatique, Libreville, Gabon, 13-19 July 1997, Chris George, Roger Noussi and Souleymane Koussoube (IAI; both former UNU/IIST Fellows).

6. Formal Software Specification using RAISE
   Ecole normale supérieure polytechnique, Université de Yaoundé-I, Yaoundé, Cameroon, 21-28 July 1997, Chris George.

7. Formal Software Development Methods and the Duration Calculi: From Programs to Large-Scale Systems, and from Untimed, Reactive Discrete Systems to Real-Time, Hybrid Systems
   UNU/IIST Macau, 8-30 September 1997.

8. DesCaRTeS Seminar: Design Calculi and Research for Telecommunications Systems
   Jakarta, Indonesia, 1-19 September 1997, Kees Middelburg.

9. DesCaRTeS Seminar: Design Calculi and Research for Telecommunications Systems
   Islamabad, Pakistan, 29 September - 17 October 1997, Kees Middelburg.

10. Formal Software Specification using RAISE
    Wuhan, China, 22-31 October 1997, Chris George.

11. Formal Software Specification using RAISE and Duration Calculus
    Universidad Nacional del Sur, Bahia Blanca, Argentina, 20-31 October 1997 and 10-21 November 1997, Tomasz Janowski and Xu Qiwen.

12. DesCaRTeS Seminar: Design Calculi and Research for Telecommunications Systems
    Curitiba, Brazil, 10-28 November 1997, Kees Middelburg.

13. DesCaRTeS Seminar: Design Calculi and Research for Telecommunications Systems
    Johannesburg, South Africa, 1-19 December 1997, Kees Middelburg.

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