The 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 verification. The school will be held during a period of two weeks for a total duration of approximately 50 hours.
We welcome application 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 Application Form. The School Sponsors will provide financial support to a limited number of applicants who have have requested it while submitting their application and
  • are citizens of a developing country not belonging to the European Union, and
  • 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 European Union.
Developing countries are those countries whose economies are classified as low income, lower-middle income or upper-middle income by The World Bank Group.
The lectures presented at the school will be published by Springer in the series Lecture Notes in Computer Science.
Created: Wed Apr 9 03:38:50 CST 2008
Last modified: Tue Apr 16 12:03:25 CST 2008
Maintained by Antonio Cerone