South-East European Research Centre (SEERC)

The 5th International School on Software Engineering and Formal Methods will be held on 24-28 September 2012, in Thessaloniki, Greece. The school will have a total duration of approximately 30 hours and will consist of the following courses:

1. Introduction to Formal Methods;
2. Logics for Software Engineering;
3. The CSP Process Algebra;
4. Algebraic Specification in CASL;
5. Specification-based Testing;
6. Specification and Verification of Electronic Contracts;
7. Formal Methods for Human-computer Interaction;
8. Formal Verification of Security Protocols.

The courses will be lectured by: Antonio Cerone (UNU-IIST), Markus Roggenbach (Swansea University), Bernd-Holger Schlingloff (Humboldt University and Fraunhofer FIRST), Gerardo Schneider (University of Gothenburg) and Siraj Ahmed Shaikh (Coventry University).

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. The school fee will be EUR 350 and will cover: lunch, morning and afternoon coffee breaks during each of the 5 days and school materials, which include one book and one live-CD specifically prepared for the school and published by Springer.

Application deadline: 15 July 2012.

For additional information please refer to the school website: http://sefm.iist.unu.edu/School/