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 TRDDC (India) organised the 4th International Conference for Software Engineering and Formal Methods during 11-15 September. Dang Van Hung is a PC co-chair of the conference. The programme includes four tutorials, five keynote talks, and 23 regular presentations accepted from 95 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.
ICTAC Colloquium: During 20-24 November, UNU-IIST jointly with York University (UK) and University Tunis El Manar, organised the 3rd International Colloquium on Theoretical Aspects of Computing. The programme includes five tutorials, four invited talks including one given by Mike Reed from UNU-IIST, and 21 regular presentations selected from 75 submissions. Antonio Cerone is co-chair of the Programme Committee. UNU-IIST Director Mike Reed, member of staff Zhiming Liu, Board Members Prof. Manfred Broy, Mathai Joseph and Zohar Manna, former director of UNU-IIST Prof. Dines Bjørner, and former member of staff He Jifeng are among the members of the Advisory Committee of ICTAC. The next ICTAC will be in organised by UNU-IIST in Macao.
FACS Workshop: During 20-22 September, UNU-IIST jointly with Charles University organised the 3rd International Workshop on Formal Aspects of Component Software at Charles University in Prague. Vladimir Mencl is a PC co-chair.
ICFEM Conference: During 1-3 November, UNU-IIST, University of Macau and Polytechnic Institute of Macao jointly organised the 8th International Conference on Formal Engineering Methods. Mike Reed is a general chair, Chris George is the publicity chair, Zhiming Liu is a PC chair, and Brian Iu is a local organisation chair. Associated to the conference, there are three other events: the 1st Asian Working Conference on Verified Software organized by UNU-IIST (Mike Reed chairs the technical committee), the 1st International Workshop on Formal Methods for Interactive Systems (FMIS 2006) organised by Antonio Cerone of UNU-IIST, and the Refinement Workshop.
eGovernance and Free Software: How They are Changing Developing Countries: On 16 March 2006, UNeGov.net and the Global Desktop Project co-organised an event with UNU-ONY at UN Headquarters in New York. There were five presentations on UNU-IIST, open source software and electronic government by Mike Reed, Tomasz Janowski, Scott Mc Neil, Theresa Padro (Center for Technology in Government) and Michael Tiemann (Redhat). About 100 members of permanent missions to the UN and other international organizations attended.
The 6th UNeGov.net Network-Building Workshop on Electronic Governance: The workshop took place in Abuja, Nigeria on 24 July 2006, co-organized by UNU-IIST and the National IT Development Agency (NITDA), Federal Government of Nigeria. It was attended by close to 100 civil servants and academics, and comprised seven presentations, including four invited talks, two talks by Tomasz Janowski, and one by Adegboyega Ojo.
The 3rd UNeGov.net School on Foundations of Electronic Governance: The school took place in Abuja, Nigeria in July 2006, immediately following the workshop. Organized jointly with NITDA and attended by close to 100 civil servants and academics, the school comprised six half-day modules covering concepts, technologies, organization, research and collaboration on Electronic Government. Three modules were taught by Tomasz Janowski and three by Adegboyega Ojo.
The 7th UNeGov.net Network-Building Workshop on Electronic Governance: The workshop took place in Ulaanbaatar, Mongolia on 7 December 2006. Co-organized by UNU-IIST and the ICT Authority of the Government of Mongolia, it comprised eight presentations, including three by Tomasz Janowski, and three discussion sessions. It was attended by about 80 participants from government, industry and academia.
QAPL Workshop: During 1-2 April 2006, UNU-IIST jointly with the University of Pisa and the Imperial College London organised the Workshop on Quantitative Aspects of Programming Languages at the Technical University of Vienna as a satellite event of ETAPS 2006. Antonio Cerone is the Organising Chair. Antonio Cerone and Dan Van Hung are PC members.
Seminars and In-house Training: UNU-IIST has organised 48 seminars and in-house training courses for its fellows and staff in 2006. 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 dissemination

Top

UN and host country linkages