The International Institute for Software Technology of the United Nations University (UNU/IIST), the University of York, the Brazilian Computer Society (SBC), and the Centre for Informatics of the Federal University of Pernambuco (CIn-UFPE) are jointly organising a Summer School on Software Engineering with emphasis on Formal Refinement.

The courses cover concurrency, probability, real time, model checking, and object orientation. Apart from languages and techniques, the courses also cover the semantic underpinnings of refinement, and industrial applications and refinement tools.

The school will be held jointly with the Brazilian Symposium on Formal Methods (SBMF 2004), 29 November 1 December. There will be no lectures during SBMF, so that the school participants can attend the symposium.







[ Pernambuco School on Software Engineering: Refinement | Recife.PE ]