Application deadline: 15 July 2012.
|
| OVERVIEW
|
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:
- Introduction to Formal Methods;
- Logics for Software Engineering;
- The CSP Process Algebra;
- Algebraic Specification in CASL;
- Specification-based Testing of Embedded Systems;
- Specification and Verification of e-Contracts;
- Formal Methods for Human-computer Interaction;
- 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.
|
| Please download the application form from
here.
Completed application forms should be emailed (plain text only) to
sefm_school@iist.unu.edu.
|
| Application deadline: 15 July 2012.
|
| Participants who are interested in undertaking an examination for
credit purpose on the topics presented at the school must explicitly request it in
the Application Form.
Participants who will pass the examination will receive a certificate suitable
for credit recognition, according to the information they have provided in the
Application Form.
|
