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

II/2/2/2/7 1998 Courses

1. Specification and Verification of Real-time Systems using Duration Calculus
   Surat, India; 26-31 January 1998.
   Paritosh K. Pandya (Tata Institute of Fundamental Research) and Mr. D.C. Jinwala (S.V. Regional Engineering College, Surat)

2. Formal Software Development using RAISE
   Universidad Nacional de Comahue, Neuquen, Argentina; 2-13 March, 1998.
   Richard Moore

3. Advanced Course on RAISE
   ISIT, Kyushu, Fukuoka, Japan; March 1998.
   Chris George

4. Tutorial on Semantics and Logic for Provable Fault-Tolerance
   European Joint Conference on Theory and Practice of Software (ETAPS'98),
   Lisbon, Portugal; 29 March 1998.
   Tomasz Janowski

5. Formal Software Development using RAISE
   Pyongyang, DPR Korea; 20 April - 1 May, 1998.
   Tomasz Janowski

6. Creating Web Pages
   Macau Productivity and Technology Transfer Centre; 8 sessions between 2nd and 25th June 1998.
   Fu Guoyi (UNU/IIST Fellow)

7. RAISE/DC Course
   Chengdu, Sichuan, China; 17-28 August 1998.
   Chris George, Xu Qiwen and Tan Xinming

8. Introduction to Formal Methods and Duration Calculus
   Hanoi (Vietnam), 7-11 September, 1998.
   Xu Qiwen

9. Formal Techniques for Software Development
   Beijing, China; 13-23 October 1998
   Richard Moore and He Jifeng

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