The 4th International School on SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2011) will take place in Montevideo, Uruguay, from 7 till 11 of November, 2011.
The aim of the school is to offer courses to graduate students and young researchers interested in formal techniques applied to the design, specification, and verification of software systems.