Annual Report 1997

4 Events and academic meetings

4.1 Staff & Fellows [Event] Presentations 1997:

1. Chris George and Tomasz Janowski, Macau IT Congress, 16-18 January, 1997. [32]

2. Richard Moore, Meeting No. 32 of International Organization for Standardisation (ISO)/IEC JTC1 SC2 WG2 (Universal Multiple-Octet Coded Character Set), Singapore, 22 January, 1997. [38]

3. Dines Bjørner, IFIP WG2.3 Meeting, California, USA, 26-31 January, 1997.

4. Richard Moore, Kyoto University, Japan, 6 March 1997. [50]

5. Richard Moore, ISIT, Fukuoka, Japan, 14 March 1997.

6. Dines Bjørner, Formal Methods Europe Meeting, Toulouse, France, 14-16 March, 1997.

7. Dines Bjørner, ESIG/FIIA'97 Conference, Tunis, Tunisia, 15-21 March, 1997.

8. Chris George, Software Verification Research Centre of the University of Queensland, Brisbane, Australia, 18 March, 1997. [51]

9. Xu Qiwen, International Workshop on Hybrid and Real-Time Systems, Grenoble, France, 26-28 March, 1997. [52]

10. Xu Qiwen, Oxford University Computing Laboratory, UK, 31 March-4 April, 1997 (covered by KIT).

11. Xu Qiwen, ProCoS Working Meeting, Reading, UK, 7-8 April, 1997. [53]

12. Richard Moore, 1997 International Conference on the Computer Processing of Oriental Languages (ICCPOL'97), Hong Kong, 2-4 April, 1997. [34][33]

13. Xu Qiwen, Meetings on Real-Time Theory, Madras, India, 16-20 June, 1997.

14. Xu Qiwen, Tata Institute of Fundamental Research, Bombay, India, 23 - 26 June, 1997. [52]

15. Tomasz Janowski, Beijing University of Aeronautics & Astronautics, China, 27-28 April, 1997. [54]

16. Tomasz Janowski, Software Engineering Centre of the Chinese Academy of Science, Beijing, China, 29 April, 1997.

17. Dines Bjørner, UNDP/World-Times Symposium & SEA talk, Tokyo, Japan, 13-15 May, 1997.

18. Fu Hongguang, 14th International Conference on Automated Deduction, Queensland, Australia, 12-17 July, 1997. [3]

19. Radu Soricut, International Summer School 1997 on Computational Logic, Marktoberdorf, Germany, 29 July - 9 August, 1997. (funded by KIT)

20. Vladimir Zadorozhny, University of Hong Kong, Hong Kong, 15 August, 1997.

21. Xu Qiwen, Kiel University, Germany, 3 September, 1997.

22. Xu Qiwen, Symposium on Compositionality, Malente, Germany, 7-12 September, 1997. [10], (invited speaker, funded by Symposium).

23. Xu Qiwen, Technical University of Denmark, Copenhagen, Denmark, 16 September, 1997.

24. Zhou Chaochen, International Symposium on Compositionality , Malente, Germany, 7-12 September, 1997. [55], (invited speaker, funded by Symposium.)

25. Swarup Mohalik, International Symposium on Compositionality - The Significant Difference, Malente, Germany, 7-12 September, 1997. [10], (funded by KIT).

26. Gao Jianping, Fifth International Workshop on Hybrid Systems, Indiana, USA, 11-13 September, 1997. [14]

27. Tomasz Janowski, International Symposium FME'97, Graz, Austria, 15-19 September, 1997. [54]

28. Zhou Chaochen, ComBaS Group, Technical University of Denmark, Copenhagen, Denmark, 4-7 September, 1997. [8][13]

29. Dang Van Hung, 5th Vietnamese Conference of Mathematics, Hanoi, Vietnam, 16-20 September, 1997. [1][5][7]

30. Zhou Chaochen, EU KIT Summer School on Formal Methods and their Applications, Institute of Software, Chinese Academy of Sciences, Beijing, China, 17-20 September, 1997. [53], (funded by KIT).

31. Tomasz Janowski, Technical University of Denmark, Denmark, 25 September, 1997. [31]

32. Chris George, Workshop on Requirements Targeting System and Software Engineering, Bernried, Germany, 12-14 October, 1997. [28]

33. Zhou Chaochen, International Symposium on Future Software Technology, Xiamen, China, 29 October - 1 November 1997. [56]

34. Li Xuandong, Asian Computing Science Conference (ACSC'97), Kathmandu, 9-12 December, 1997. [5]

35. Tomasz Janowski, International Conference on Algebraic Methodology and Software Technology, Sydney, Australia, 15-17 December, 1997. [57]

4.2 Event Sponsorship -- The 1997 Programme

UNU/IIST sponsors a small number of computer science software engineering and technology conferences which are directly related to UNU/IIST's R&D areas and which are held in developing countries. Such sponsorship is usually in the form of financial support for travel for participants from developing countries whose papers have been accepted by the conference.

UNU/IIST co-sponsored the following 1997 events, by providing financial support to cover travel expenses to allow young researchers to present papers at the following conferences. UNU/IIST Staff also served as the respective Programme Committes.

• Asian Computing Science Conference, 9-12 December 1997, Kathmandu (Nepal)

• Asian Pacific Software Engineering Conference, 2-5 December 1997. Hong Kong

• International Symposium on Future Software Technology, 29-31 October 1997, Xiamen (PRC)

UNU/IIST is also cooperating with Macau Computer Association in organizing the Macau IT Congress (16-18 January 1997). UNU/IIST is providing two speakers and sponsoring two others from Hong Kong.

Annual Report 1997