Publications and disseminationPublications and dissemination
Top Top
UN and host country linkages UN and host country linkages
List of academic meetings and events

List of academic meetings and events

Academic meetings and events are the workshops, conferences and seminars that UNU/IIST organised or jointly organised with some other institutions.

SEFM Conference
UNU-IIST jointly with Koblenz University organised the 3rd International Conference for Software Engineering and Formal Methods (SEFM 2005) during 5-9 September in Koblenz, Germany. Bernhard K. Aichernig was a PC co-chair of the conference. The programme included four tutorials, workshops, five keynote talks, and 40 regular presentations accepted from 120 submissions. Antonio Cerone is the coordinator of SEFM Steering Committee, for which Zhiming Liu is a member. UNU-IIST also sponsored some participants from developing countries. SEFM 2006 will be in India.

ICTAC Colloquium
During 17-21 October, UNU-IIST jointly with IoIT and UoT-VNU, Hanoi, Vietnam, organised the 2nd International Colloquium on Theoretical Aspects of Computing. The programme includes five tutorials, five invited talks including one given by Zhiming Liu from UNU-IIST, and 35 regular presentations selected from 120 submissions from over 30 countries and regions. Dang Van Hung is co-chair of the Programme Committee. UNU-IIST Director Mike Reed, members of staff He Jifeng and Zhiming Liu, Board Members Prof. Manfred Broy, Mathai Joseph and Zohar Manna, and former director of UNU-IIST Prof. Dines Bjørner are among the members of the Advisory Committee of ICTAC. The next ICTAC will be in Tunisia.

FACS Workshop
On 24-25 October, we organised the 2nd International Workshop on Formal Aspects of Component Software at UNU-IIST. The program includes four invited talks and 18 regular accepted papers. Zhiming Liu is a PC co-chair, He Jifeng the organisation chair, and Mike Reed opened the workshop.

UNeGov.net Network-Building Workshops
on Electronic Governance in Developing Countries. A series of these were organised:

Seminars and In-house Training
UNU-IIST has organised 39 seminars and in-house training courses for its fellows and staff in 2005. The lecturers were visitors, fellows and staff of UNU/IIST. The seminars act as a forum for the UNU/IIST staff and fellows to present their works and to discuss topics of common interest in software technology. In-house training lectures are to provide more fundamental knowledge in computer science for the fellows.

List of academic meetings and events
Publications and disseminationPublications and dissemination
Top Top
UN and host country linkages UN and host country linkages