Annual Report 1998

Contents

4 Events and academic meetings

4.1 UNU/IIST Alumni Association

• A draft constitution has been circulated for comments and should be adopted shortly.

• Several former fellows have accepted to be contact persons in their home countries.

• A second issue of the newsletter was issued in the summer.

• A home page for the Alumni Association has been created.

4.2 Conference Presentations by Staff and Fellows

In 1998, UNU/IIST staff and Fellows gave 26 presentations in scientific conferences in Japan, Europe, North America and Australia:

1. Dang Van Hung, "Modelling and Verification of Biphase Mark Protocols in Duration Calculus Using PVS/DC". International Conference on the Application of Concurrency to System Design (CSD'98), Aizu-Wakamatsu (Japan), 23-26 March, 1998 [22]

2. Tomasz Janowski, Tutorial on "Semantics and Logic for Provable Fault-Tolerance", Joint European Conference on Theory and Practice of Software, Lisbon (Portugal), 29 March, 1998 [55]

3. Richard Moore and Myatav Erdenechimeg, "On the Specification of the Display of Documents in Multi-lingual Computing". Workshop on the Principles of Digital Document Processing and the 1998 Conference on Electronic Publishing, St. Malo (France), 29-30 March and 1-3 April, 1998 [40][41][43]

4. Zheng Tao and Li Xuandong, "Hybrid Regular Expression". Hybrid Systems 98, Berkeley, (USA), April 13-15 1998. This conference paper covers some of the research work done by the UNU/IIST off-shore research project at Nanjing University [28]

5. Pham Hong Thai, "On Checking Parallel Real-Time Systems for Linear Duration Invariants". International Symposium on Software Engineering for Parallel and Distributed Systems (PDSE'98), Kyoto (Japan) 20-21 April, 1998 [23]

6. Wang Hanping, "Towards a Theory of Sequential Hybrid Programs". IFIP Working Conference on Programming Concepts and Methods 1998 (PROCOMET'98), Shelter Island (USA), 8-12 June 1998 [27]

7. Qiu Zongyan, "A Combination of Interval Logic and Linear Temporal Logic". IFIP Working Conference on Programming Concepts and Methods 1998 (PROCOMET'98), Shelter Island (USA), 8-12 June 1998 [26]

8. Gustavo Lugo, "Integrating Enterprise Models and Models for Marketing Analysis". 2nd IFIP Conference on Design of Information Infrastructure Systems for Manufacturing, Denver, USA, May 18-20, 1998 [35]

9. Zhou Chaochen, "Reorganisation of Duration Calculi", invited speaker at ESSLLI-98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, Saarbrucken, Germany, August 24-28, 1998 [29]

10. Gao Jianping, "Formal Development of a Feedback Control System with Fault Accommodation", ESSLLI-98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, Saarbrucken, Germany, August 24-28, 1998 [30]

11. Qiu Zongyan, "A Logic for Super-Dense Computation", ESSLLI-98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, Saarbrucken, Germany, August 24-28, 1998 [31]

12. Suman Roy, "Deduction Theorems in Temporal Logics with Temporal Modality", ESSLLI-98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, Saarbrucken, Germany, August 24-28, 1998 [21]

13. Wang Ji, "A Superdense Duration Semantics for Hybrid Systems", ESSLLI-98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, Saarbrucken, Germany, August 24-28, 1998 [32]

14. Xia Yong, "DC/RJ: a Justification Assistant for Duration Calculus", ESSLLI-98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, Saarbrucken, Germany, August 24-28, 1998 [4]

15. Gerardo Schneider, "Towards a Formal Semantics of Verilog Using Duration Calculus", ESSLLI-98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, Saarbrucken, Germany, August 24-28, 1998 [5]

16. Rana Barua, "Weak Completeness of a Combination of Neighbourhood Logic and Temporal Logic", ESSLLI-98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, Saarbrucken, Germany, August 24-28, 1998 [33]

17. Tomasz Janowski, "Composing Enterprise Models: The Extended and the Virtual Enterprise", 3rd IFIP/IEEE International Conference on Information Technology For Balanced Automation Systems in Manufacturing (BASYS98), Prague, Czech Republic, August 26-28, 1998 [36]

18. Manoranjan Satpathy, "Some Results on The Decidability of Duration Calculus under Synchronous Interpretation", Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Lyngby, Denmark, September 14-18, 1998 (FTRTFT'98) [20]

19. Dang Van Hung, "Duration Calculus with Weakly Monotonic Time", Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Lyngby, Denmark, September 14-18, 1998 (FTRTFT'98) [25]

20. Zhao Jianhua, "On Checking Real-Time Parallel Systems for Linear Duration Properties", Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Lyngby, Denmark, September 14-18, 1998 (FTRTFT'98) [1]

21. Gerardo Schneider, "Towards a Formal Semantics of Verilog Using Duration Calculus", Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, Lyngby, Denmark, September 14-18, 1998 [5]

22. Aristides Dasso, "An Application of Formal Methods: Specifying a Credit Card System", IASTED Conference on Software Engineering, Las Vegas, USA, October 1998 [51]

23. Marisa Sanchez, "Specification-based Testing", the 9th International Symposium on Software Reliability Engineering (ISSRE'98), Paderborn, Germany, November 4-7, 1998 [56]

24. Victor Braberman, "On Checking Timed Automata for Linear Duration Invariants", the 19th IEEE Real-Time Systems Symposium (RTSS'98), Madrid, Spain, December 2-4, 1998 [3]

25. Zheng Hongjun, "Market-Driven Symbolic Execution of Models of Manufacturing Enterprises" 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98), Brisbane, Australia, December 9-11, 1998 [37]

26. Tomasz Janowski, Tutorial on "Semantics and Logic for Provable Fault-Tolerance", Asian Computing Science Conference (ASIAN98), Manila, The Philippines, December 8-10, 1998 [55]

4.3 Participation on Conference Programme Committees

UNU/IIST staff participated on 16 programme or steering committees of scientific conferences in 1998.

• Zhou Chaochen

  • Programme Committee of CSD'98 International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu, Japan March 23-26, 1998

  • Programme Committee of FASE'98 Fundamental Approaches to Software Engineering (FASE) Lisbon, Portugal, March 28 - April 4, 1998

  • Steering Committee of ASIAN'98: Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998

  • Programme Committee of IEEE ICFEM'98 IEEE International Conference on Formal Engineering Methods, Brisbane, Australia, December, 1998

  • Programme Committee of FTRTFT'98 5th International School and Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, Lyngby, Denmark, September 14-18, 1998.

  • Programme Committee of AMAST'98 the seventh International Conference on Algebraic Methodology And Software Technology, Brazil, January 4-8, 1998.

• He Jifeng

  • Object-oriented Programming in Europe'98 (April 1998)

  • Formal methods in Pacific' 98 (September 1998)

• Chris George

  • International Symposium on Future Software Technology (ISFST 98) Hangzhou, China, 28-30 October 1998.

• Tomasz Janowski

  • Programme Committee of CSD'98 International Conference on Application of Concurrency to System Design, Aizu-Wakamatsu, Japan, March 23-26, 1998.

  • Program Committee of ASIAN'98: Asian Computing Science Conference, Manila, The Philippines, December 8-10, 1998.

• Richard Moore

  • Maghrebian Conference on Software Engineering and Artificial Intelligence (MCSEAI'98); Tunis, Tunisia, December 8-10, 1998.

  • Congreso Argentino de Ciencias de la Computacion (CACIC'98); Neuquén, Argentina, October 26-31, 1998.

• Xu Qiwen

  • International Workshop on Formal methods for Parallel Programming: Theory and Applications, Orlando, Florida, U.S.A., 3 April 1998.

  • First UK Colloquium on Object Technology & System Re-engineering, Oxford, U.K., 6-8 April, 1998.

  • International Refinement Workshop and Formal Methods Pacific, Canberra, Australia, 29 September - 2 October 1998.

4.4 Event Sponsorship

• The research partners in the ESPRIT Keep-in-Touch 010 project held a wrap-up workshop in Macau from 25-29 May, 1998. Participants came from the partner institutions in Denmark (Danish Technical University), Germany (Oldenburg and Kiel Universities) and UK (Reading and Oxford Universities) as well as from India (Tata Institute of Fundamental Research), China (Nanjing University) and Macau University. Four scientists from Institute of Systems and Information Technology, Kyushu (Japan) also participated in this meeting. On-going research work was presented by the partners as well as by UNU/IIST staff and fellows. Discussions also took place on future cooperation between EU and non-EU countries. The Zhuhai Science and Technology Commission hosted a one-day visit to software research companies in Zhuhai (China). This workshop was partly funded by the European Commission's ESPRIT research programme.

• UNU/IIST co-sponsored the 4th Workshop on Formal and Applied Computer Science (WOFACS'98), University of Capetown (South Africa), 6-17 July. Five eminent scientists, including Prof. Dines Bjørner (former Director of UNU/IIST), of IFIP Working Group 2.3 on Programming Methodology were the lecturers at this workshop. UNU/IIST supported travel of 9 participants from Angola, Cameroon, Congo, Malawi and Uganda as well as partial support to 17 South African participants from the University of the Transkei and from the University of Witwatersrand.

• As part of the 10th European Summer School in Logic, Language and Information (ESSLLI-98) which was held in Saarbrucken (Germany) from 24 to 28 August 1998, the first international Workshop under the name of Duration Calculus was organised. UNU/IIST staff and fellows were major contributors to this workshop, the proceedings of which are being published. (See Section 4.2 for information on UNU/IIST's presentations.)

• UNU/IIST staff and fellows took part in the 5th International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'98) which was held in Lyngby (Denmark) from 14-18 September 1998. (See Section 4.2 for information on UNU/IIST's presentations.)

• UNU/IIST also co-sponsored the following 1998 events, by providing limited financial support to cover travel expenses to allow young researchers to present papers at the following conferences.

  • International Symposium on Future Software Technology, 28-30 October 1998, Hang-zhou, China

  • Asian Computing Science Conference, 8-10 December 1998, Manila, Philippines

  • Asian Pacific Software Engineering Conference, 1-4 December 1998, Taipei, Taiwan

  • Maghrebian Conference On Software Engineering and Artificial Intelligence (MCSEAI'98); 8-10 December 1998, Tunis, Tunisia

Annual Report 1998

Contents