1st International School on   SOFTWARE ENGINEERING AND FORMAL METHODS   S E F M    S c h o o l     2 0 0 8   Cape Town, South Africa 27 October - 7 November 2008

SEFM Website SEFM 2008 OVERVIEW CONTACTS IMPORTANT DATES APPLICATION ORGANISERS COURSES MATERIALS/PHOTOS GENERAL INFO TOURISTIC INFO SPONSORS LOGIN

SPONSORS UNU-IIST - International Institute for Software Technology of the United Nations University University of Cape Town IFIP TC6 - Technical Committee on Communication Systems (WG 6.9 Communications Systems for Developing Countries) of the International Federation of Information Processing FME - Formal Methods Europe DFG - Deutsche Forschungsgemeinschaft (German Research Foundation) Fraunhofer FIRST EPSRC - Engineering and Physical Sciences Research Council

BACK TO TOP

Created: Tue May 20 14:05:37 CST 2008 Last modified: Tue May 20 14:05:37 CST 2008

Maintained by Antonio Cerone Feedback