5th International School on Software Engineering and Formal Methods
24-28 September 2012 - Thessaloniki, Greece
Application deadline: 15 July 2012
For more detailed information visit the official website of the school http://sefm.iist.unu.edu/School/