II/3/5 1996 Events

1. International Expert Group Workshop on Decision Support Systems for Sustainable Development -- Software Technology for Agenda'21
   Macau, 26 February - 8 March (jointly organised with International Development Research Centre, Canada).

2. Design Calculi in Software Engineering
   South China University of Technology, 27-30 May 1996

3. Software Support for Infrastructures
   Minsk, Belarus, 17-19 June 1996

4. Perspectives in Systems Informatics (PSI'96): 2nd Andrei Ershov Memorial Conference
   Novosibirsk, Russian Federation, 24-28 June 1996 (sponsor)

5. Software Support for Infrastructures
   Moscow, Russian Federation, 1-5 July 1996

6. Formal Methods in Software Engineering
   Seoul, Republic of Korea; 1-7 July 1996 (UNU-IIST participation funded by Pohang University of Science and Technology/CAST)

7. Formal Models for Manufacturing
   Harbin Institute of Technology, University of Peking, University of Tsinghua, China; 3-10 July 1996

8. Godel's Legacy (GOEDEL'96): Conference on the Logical Foundations of Mathematics, Computer Science and Physics
   Brno, Czech Republic, August 25-29, 1996 (sponsor)

9. Specification of Computer Programs
   11-20 September, UNU-IIST, Macau (lectures by Wlad Turski, Poland)

10. Specification of Computer Programs
    University of Jakarta, Indonesia, 23-24 September 1996 and Asian Institute of Technology, Thailand, 26-27 September 1996 (series of lectures by Wlad Turski, Poland)

11. IFIP WG2.2 Meeting: Formal Description of Programming Concepts
    Macau; September 1996

12. Seminars on Formal Description of Programming Concepts
    Beijing, China; 28 September - 4 October 1996; presentations at various institutes by members of IFIP WG2.2

13. Workshop on Design Calculi
    Rio de Janeiro, Brazil; November 1996 (co-sponsored by CNPq, Brazil)

14. Asian Computing Science Conference
    Singapore, 3-5 December 1996 (sponsor)

15. Asia Pacific Software Engineering Conference (APSEC'96)
    Seoul, 5-7 December 1996 (sponsor)