Annual Report 1993

8 UNU/IIST Staff Presentations

8.1 Prof. Zhou Chaochen

1. January 4-15: lectures on An Extended Duration Calculus, Probablistic Duration Calculus and Infinite Duration Calculus in:⁵

   1. the Oxford ProCoS Workshop, England,

   2. at Warwick University, England, and

   3. at the Technichal University of Denmark.

2. June 29: International Conference on Formal Methods in Programming, Novosibirsk, Russia: The Duration Calculus, an Overview

3. Aug.9-30: Invited lectures and joint research:⁶

   1. Lyngby, Denmark;

   2. CONCUR'93 Conference, Hildesheim, Germany, and

   3. Bremen, Germany.

4. Dec.1: Lecture: Zeno is not Zero, Technical University of Eindhoven, The Netherlands.⁷

8.2 Prof. Dines Bjørner

1. May 21: Asian Information Technology Conference, HK: The PRaCoSy Project

2. June 22: 90 min. lecture on The Current UNU/IIST Approach to Technology Transfer, to academic staff from 5 tertiary educational Hong Kong institutes at Hong Kong University -- followed by 2 hour discussion on possibilities of collaboration.

3. July 26-27: Osaka International Conference on `Computer Science Education and Technology in East Asia': (invited keynote lecture) The UNU/IIST Strategy for Software Technology Transfer in East Asia.⁸

4. September 8: The John von Neumann Computer Society, Budapest, Hungary: The UNU/IIST Strategy for Software Technology Transfer in Developing Countries -- invited speech on the occasion of receiving The John von Neumann Diplom Award and Medal.⁹

5. September 10, Graz Technical University, Graz, Austria: The UNU/IIST Strategy for Software Technology Transfer in Developing Countries

6. September 17: University of Copenhagen, Denmark: The UNU/IIST Strategy for Software Technology Transfer in Developing Countries.

7. September 28-October 1: IFIP TC3 WG3.4 International Hong Kong Workshop on Software Engineering Education: (invited talk) University Curricula in Software Technology.¹⁰

8. October 11: Shanghai Jiao Tong University , China: The UNU/IIST Strategy for Software Technology Transfer in Developing Countries

9. October 12: Shanghai Fudan University, China: The UNU/IIST Strategy for Software Technology Transfer in Developing Countries

10. October 10-16: TICS'93 (Taian Intl. CASE Symp.) Shandong, (invited keynote lecture) The PRaCoSy Project -- a Case Study in Technology Transfer.¹¹

11. October 26: Peking University, China: The UNU/IIST Strategy for Software Technology Transfer in Developing Countries

12. November 22: Vienna, Austria: Accreditation, Licensing & Certification -- of Curricula, Engineers and Software, UNIDO, COGIT meeting.

13. December 6: University of Macau: GaDIMS: A Geo- & Demographic Information Management System, Symposium on Population and Development in Macau, University of Macau and the Macau Foundation, December 6-7, 1993.

14. December 15: UNISYS/Nihon, Tokyo: Enterprise Models and Emulators

8.3 Mr. Søren Prehn

1. Feb.4: Verifiably Correct (Software) Products, Danish Engineering Society, Copenhagen, Denmark

Annual Report 1993