4 UNU/IIST Events and Academic Meetings
UNU/IIST selects and holds events according to the following principles:
- to organize and hold events
to supplement and propagate awareness of
existing R&D projects
- to prepare for future R&D projects,
- to invite primarily participants from as broad a spectrum of
developing countries -- commensurate with the topic and
social contextual properties of the event, and
- featuring a fair selection of top level scientists and
technologists also from industrialized countries.
UNU/IIST has organized (or co-organized) the following
events in 1996:
- DSS for SD: Decision Support Systems
for Sustainable Development -- Software Technology for Agenda'21
Macau, International Expert Group Workshop:
26 February-8 March 1996 ; -- with International Development
Research Centre, Canada.
41 participants from 21 countries, six continents. [50][53]
This event was partly funded by a grant
from IDRC.
- Design Calculi in Software Engineering
Three day seminar/course, South China University of Technology (see
section 6.1), 27-30 May 1996
- Formal Methods in Software Engineering
Seoul, Republic of Korea; 1-7 July 1996; Chris George and Dang Van Hung,
(UNU/IIST participation funded by Pohang University of Science and Technology/CAST)
- Formal Description of Programming Concepts
Macau; 22-26 September 1996; IFIP WG2.2 Meeting/Seminar
20 leading scientists (mostly IFIP WG2.2 Members) from the US, Europe,
India and Japan presented latest work.
- Formal Description of Programming Concepts
Beijing, China; 28 September -- 4 October 1996: IFIP WG2.2 - UNU/IIST - SSTCC -
Peking University - Academia Sinica, Software Institute, 5 days; 14
international scientists, notably IFIP WG2.2 Members, from the US,
Europe, India and Japan presented their latest work. 40
participants from universities and industries of Beijing,
Changsha, Shanghai, Nanjing and Xiamen.
- Design Calculi
Rio de Janeiro (near), Brazil, 23-28 November 1996. The PUC-Rio/LFM
and
UNU/IIST Design Calculi Workshop (Co-sponsor: CNPq, Brazil)
UNU/IIST staff and fellow, as well as UNU/IIST visitor sponsored
papers have been or are to be presented at the following 1996 events:
- Chris George, FME'96, Oxford, England, 18-23 March 1996 [22]
- Dines Bjørner, DSS for SD Workshop, Macau, 26 February-8
March 1996
[50]
- M. Erdenechimeg, Multi-Lingual Script Processing, Hong Kong
University, April 1996
- (*) Dines Bjørner, Academia Europaea and CWI, Amsterdam, 11-12
April 1996
[45]
- Dines Bjørner, International GIS Conference, Brno, Czech
Republic, 21-22 April
1996 [45]
- (*) Dines Bjørner, International Symposium on Advanced
Information Technology
for Governance and
Public Administration, organized by UN Dept. for Development
Support and Management Service, Beijing
P R China, 3-6 June 1996 [54]
- (*) Dines Bjørner, Keynote Speaker, Kyushu Institute of
Systems and Information Technology, Fukuoka,
Japan, 9-12 June 1996 [45]
- Tomasz Janowski and Cleta Milagros Acebedo, BASYS'96,
Lisboa, 16-20 June 1996 [34]
- Dines Bjørner, PSI'96, Novosibirsk, Russian Federation,
24-28 June 1996
[45]
- Xu QiWen, 7th Refinement Workshop, Bath, England, 2-4 July 1996 [55]
- (*) Zhou Chaochen, 7th Refinement Workshop, Bath, England, 2-4 July 1996
[8]
- Yang Zhenyu, WODES'96 - 3rd Workshop on Discrete Event Systems
, Edinburgh,
Scotland, 19-21 August 1996, [56]
- Paritosh K. Pandya, FTRTFT'96, Uppsala, Sweden, 8-12 September
1996 [57]
- Tomasz Janowski, FTRTFT'96, Uppsala, Sweden, 8-12 September [58]
- Dang Van Hung and Phan Hung Giang, FTRTFT'96, Uppsala, Sweden,
8-12 September [3]
- (*) Zhou Chaochen, Dept. of Information Technology, Technical
University of Denmark, Lyngby, Denmark, October
- Xu QiWen, 4th International Conference on Hybrid Systems,
Cornell, USA, 21-14 October 1996 [7]
- Dines Bjørner, CARI'96, Libreville, Gabon, October [45]
- Dines Bjørner, Argentina, Computer Science Conference, Buenos
Aires, 7-9 November 1996
- Kees Middelburg (*) and Zhou Chaochen, EU/China High Technology
Conference, Beijing, November 25-27, 1996
- Kees Middelburg, 3rd Regional Workshop on Telematics, Manila,
18 November-4 December 1996
- Chris George, Dang Van Hung and Zhou Chaochen, FST&TCS'16,
Hyderabad, India, December ( Formal Methods Workshop), 12-17
December 1996
- Dang Van Hung and Wang Ji, FST&TCS'16, Hyderabad, India, 18-20
December 1996 [59]
- Dang Van Hung and Li Xuan Dong, Asian Computing Science [11]
Conference, Singapore, 3-5 December 1996 [11]
- Dang Van Hung and Ko Kwang Il, APSEC'96, Seoul, 5-7 December,
1996 [10]
- Dao Nam Anh, APSEC'96, Seoul, 5-7 December 1996 [27]
- Dines Bjørner, Japan Software Engineering Symposium, UNU
HQ, 16-17 December 1996
(*) Participation travel and/or stay externally funded
- Dines Bjørner has given three seminars at the Institute for
Information Technology, Technical University of Denmark
[45][26][50] during 1996, as
well as lectures in Peking (April [45]),
Institute of
Software (April [45]),
Institute of Geography (Beijing, April [50]),
Institute of
Geography (Guangzhou, May [50]), CICA (Chengdu, August
[45]), Department of Informatics, PUC-Rio
(Univ.), Rio de Janeiro, Brazil (Nov.)
- Ms. M. Erdenechimeg gave an open seminar on the MultiScriptproject,
entitled "Multi-Lingual Script Processing", at Hong Kong
University in April 1996.
- Dr. Dang Van Hung has given four seminars at the Laboratory of
Formal Methods, Department of Informatics, Pontifical Catholic
University of Rio de Janeiro, one seminar in Technical University of
Denmark, one seminar in Aarhus, one in Queen Mary College,
University of London.
- Dr. Tomasz Janowski has given invited talks and held scientific
discussions at Institute of Mathematics, University of Gdansk,
Poland, [58], the Institute of Informatics, Polish Academy
of Sciences, [58], the Institute of Software Academia
Sinica [60], and the Department of Informatics, Pontifical
Catholic University of Rio de Janeiro, Brazil
- Dr. Richard Moore has given invited talks and held scientific
discussions at Hong Kong University [61]
- Dr. Wang Ji, a UNU/IIST Fellow, has given invited talks
and held scientific discussions
at Lyngby, Ålborg and Århus, Denmark (May,
(*)), and at Stanford University,
SRI International, Xerox PARC,and DEC/SRC California (August).
- Dr. Xu QiWen has given invited talks and held scientific discussions
at South China University of Technology [7],
Åbo Akademi University, Turku, Finland (*) [2],
UNU/WIDER, Kiel University, (*) [2];
Southampton University,[2]
(*) Participation travel and/or stay funded partially or fully from
external sources.
The selection principle for events to be sponsored is basically:
- Only Computer Science, Software Engineering
and Technology conferences that have a direct affinity to UNU/IIST's
own Agenda are to be sponsored.
- Primarily Asian, but occasionally events in other continents can
be sponsored.
- Sponsorship primarily amounts to;
- funding active participants from developing countries to deliver
papers strongly relating to UNU/IIST's Agenda,
- funding, occasionally, in the order of a maximum of
US$2,500, general organizational expenses,
- occasionally funding an invited keynote speaker even from an
industrialized country.
UNU/IIST has co-sponsored the following 1996 events:
- PSI'96: Perspectives in Systems Informatics
2nd Ershov Memorial Conference, Novosibirsk, Russian Federation,
24-28 June 1996
One invited speaker (US), US$2,000 organizational expenses, four
paper presentations: Bulgaria, Romania, India and China. A UNU/IIST
keynote presentation [45].
- Gödel's Legacy
Gödel'96 Conference, Brno, Czech Republic, 24-29 August 1996
US$2,500 organizational expenses, 8 participants from East
Europe, the CIS and South Africa.
- ISFST'96: International Symposium on Future Software Technology
Xian, China, 9-11 October 1996
PC Committee work. One UNU/IIST paper
was accepted.
- Asian'96: Asia Computer Science Conference
Singapore, 3-5 December 1996.
PC Committee work; one invited speaker (Israel).
One UNU/IIST paper
was accepted.
- FST&TCS'96
Hyderabad, India, 12-20 December 1996
PC Committee work. One UNU/IIST paper
was accepted.
- APSEC'96
Seoul, Republic of Korea, 5-7 December 1996
PC Committee work. Two UNU/IIST papers were accepted
[27] [10].
UNU/IIST continues to devote a substantial proportion of its resources
to cooperation with the University of Macau, (UoM) through lecturing,
M.Sc thesis supervision of students enrolled in the Software
Engineering Programme, and through joint research with a few UoM
staff members.
UNU/IIST has also continued to meet regularly with interested partners in
the private and public sector and discussed
the possibility of joint research. However, these initiatives remain
at the exploratory stage.
UNU/IIST has established contact with the recently opened Macau
branch of the Portuguese National Institute for Research and
Computation Sciences (INESC) and
is optimistic that together with INESC it should be easier for UNU/IIST to
establish collaboration with local industry.
UNU/IIST was invited to participate in a Euro/Macau/China Business Forum,
organized by the Institute for the Promotion of Investments in Macau
in January 1996
and gave a presentation on the use of EDI
(Electronic Data Interchange).
UNU/IIST continues to have a very close cooperation with Macau
Foundation, UNU/IIST's official interface with the Macau Government.
Macau Foundation has continued to assist in the provision of
apartments for fellows and in leasing 50% additional office
space in the building where UNU/IIST is temporarily located, pending
the renovation of the building designated by the authorities as the
future permanent premises of UNU/IIST.
- UNCSTD: The Director of UNU/IIST was invited (costs covered
by IDRC, Canada) to attend a four day meeting in Cartagena, Colombia
of the UNCSTD working groups on Information Technology and
Development. At this meeting contacts were established (and are
being maintained) with some 10 top level
officials from Ministries of Science and Technology and leading
National Science and Technology Centres (Belarus, Colombia, Costa
Rica, Ethiopia, Jamaica, Malawi, Pakistan, Romania and
Tanzania). As a result, joint Research and Development and/or
fellow/training activities will be carried out in some of this
countries next year.
- UNDDSMS: UNU/IIST Director was invited as resource person
to attend the International Symposium for Governance and Public
Administration which was held in Beijing in June 1996.
- UNCTAD: UNU/IIST is planning to organize jointly with
UNCTAD two events on "Information Technology for Development" in
Africa (one in Anglo-phone and the other in Franco-phone Africa). The
event is aimed at IT policy planners, science and technology,
industry and university leaders. While UNCTAD is the main organizer,
UNU/IIST will be responsible for the following topics :
(a) Applications: Software support for public and private sector
infrastructures; (b) Systems development methods (c) Procurement of
IT Systems; (d) Facilities management of computer and communications
Systems; (e) Implications for Education and Research; (f) IT Policy
Issues.
- UN International Computer Centre: UNICC and UNU/IIST
are planning a one-week event for IT Policy planners and top to
mid-level management of public and private sector computer and
communication users. No date has been fixed for this event.
info@iist.unu.edu, February 1997
