 | Postgraduate training/teaching activities |
| 
| Top |
| 
| List of academic meetings and events |
|
| Publications and dissemination |
Publications and dissemination
In 2003, UNU-IIST staff and fellows have produced 19 reports, which
are available for downloading via the UNU-IIST web page and also available
in the UNU-IIST library. These reports are
[2][3][1][19][20][21][22][23][6][9][4][24][18][13][12][25][10][11][26]
Bernhard K. Aichernig and Prof. Tom Maibaum of Kings College,
University of London, jointly edited the proceedings for the
UNU-IIST 10th Anniversary Colloquium on Formal Methods at the
Crossroads, from Panacea to Foundational Support, which has been
published as Lecture Notes of Computer Science Vol. 2757 by Springer
Verlag in November 2003.
So far in this year, a total of 16 papers has been published in
conference proceedings, and 5 papers have
been published by journals or as a book chapter. See appendix * for the
full list of external publications in 2003.
UNU-IIST staff have served on the Programme Committees of 7 2003
international conferences: ASE03, CACIC03, APSEC03, FM03,
CSITeA03, ICFEM03, FACS03.
Zhiming Liu give a tutorial with the title a design calculus for
object-oriented software development at the 1st IEEE International
Conference on Software Engineering and Formal Methods, Brisbane,
Australia, 22-27 September 2003.
The aim of dissemination is to distribute new research and development
techniques, results in software technology and free software to
selected targets in developing countries and countries in transition.
Since UNU-IIST, in its Research and Advanced Development Projects,
uses front-of-the-wave techniques and pursues further development
(i.e. research) of these techniques, the dissemination activity
focuses primarily on propagating the techniques and results that
directly relate to UNU-IIST's Research and Advanced Development
Agenda. In parallel, through its training activities, and also through
institutional agreements with specific institutions, UNU-IIST provides
access to literature (reports, papers) and free software. UNU-IIST
has defined a list of target institutions, which includes 10
institutions in China, 30 institutions in Asian countries other than
China, 6 institutions in South America and in Africa, and 2
institutions in Eastern Europe. Institutions from developing countries
are added to the list if their research and training interests match
the areas that are covered by UNU-IIST's programme. UNU-IIST sends to
its targeted institutions a six-month selection of up-to-date
information on international literature, free software and technical
reports, both from UNU-IIST itself and from partner institutions,
together with instructions on how to procure such publications. More
specifically, each institution receives:
- List of UNU-IIST reports with abstract and URL address
- Selected UNU-IIST reports
- Copies of the tables of contents of 22 important journals in the
area of computer software. UNU-IIST provides photocopies of a
limited number of articles from these journals upon request
| Publications and dissemination |
| Postgraduate training/teaching activities |
| |
| Top |
| |
| List of academic meetings and events |
|