International Institute for Software Technology of the United Nations University
(UNU-IIST), and the
University of Cape Town
are jointly organising an International School on Software Engineering and Formal Methods.
|The school consists of an introductory lecture to the use of formal methods in software
engineering and five courses on the application of formal methods to software design and
The school will be held during a period of two weeks for a total duration of
approximately 50 hours.
from postgraduate students and researchers from academia and industry who have
obtained at least an undergraduate degree in Computer Science or in a related discipline.
Applicants who need financial support must explicitly request it in the
The School Sponsors will provide financial support to a limited number of applicants
who have have requested it while submitting their application and
Developing countries are those countries whose economies are
classified as low income, lower-middle
income or upper-middle income by
The World Bank Group.
- are citizens of a developing country not belonging to the European Union,
- do not hold any position in a private company neither any position or
or scholarship in an industrialised country or in a country belonging to the
|The lectures presented at the school will be published by Springer in the series
Lecture Notes in Computer Science.