<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<big><tt>(Apologies for duplicates)<br>
<br>
Call for Applications<br>
<br>
----------------------------------------------------------------<br>
<br>
5th International School on<br>
Software Engineering and Formal Methods<br>
<br>
24-28 September 2012 - Thessaloniki, Greece<br>
<a class="moz-txt-link-freetext" href="http://sefm.iist.unu.edu/School/">http://sefm.iist.unu.edu/School/</a><br>
<br>
----------------------------------------------------------------<br>
Application deadline: 15 July 2012<br>
----------------------------------------------------------------<br>
<br>
The 5th International School on Software Engineering and Formal<br>
Methods will be held on 24-28 September 2012, in Thessaloniki,<br>
Greece. The school will have a total duration of approximately<br>
30 hours and will consist of the following courses:<br>
<br>
1. Introduction to Formal Methods;<br>
2. Logics for Software Engineering;<br>
3. The CSP Process Algebra;<br>
4. Algebraic Specification in CASL;<br>
5. Specification-based Testing;<br>
6. Specification and Verification of Electronic Contracts;<br>
7. Formal Methods for Human-computer Interaction;<br>
8. Formal Verification of Security Protocol.<br>
<br>
<br>
LECTURERS<br>
<br>
* Antonio Cerone<br>
United Nations University, UNU-IIST, Macau SAR China;<br>
<br>
* Markus Roggenbach<br>
Swansea University, Swansea, UK;<br>
<br>
* Bernd-Holger Schlingloff <br>
Humboldt University and Fraunhofer FIRST, Berlin, Germany;<br>
<br>
* Gerardo Schneider<br>
University of Gothenburg, Gothenburg, Sweden;<br>
<br>
* Siraj Ahmed Shaikh<br>
Coventry University, Coventry, UK.<br>
<br>
<br>
APPLICATION AND FEE<br>
<br>
We welcome application from postgraduate students and
researchers<br>
from academia and industry who have obtained at least an<br>
undergraduate degree in Computer Science or in a related
discipline.<br>
The school fee will be EUR 350 and will cover: lunch, morning
and<br>
afternoon coffee breaks during each of the 5 days and school<br>
materials, which include one book and one live-CD specifically<br>
prepared for the school and published by Springer.<br>
<br>
The application form is available at<br>
<br>
<a class="moz-txt-link-freetext" href="http://sefm.iist.unu.edu/School/sefm-school-2012-app-form.txt">http://sefm.iist.unu.edu/School/sefm-school-2012-app-form.txt</a><br>
<br>
Completed application forms should be emailed (plain text only)
to<br>
<br>
<a class="moz-txt-link-abbreviated" href="mailto:sefm_school@iist.unu.edu">sefm_school@iist.unu.edu</a>.<br>
<br>
Application deadline: 15 July 2012.<br>
<br>
Applicants will be notified of the outcome of their application
within<br>
one week after submitting their application.<br>
<br>
Accepted applicants must confirm their participation and pay the<br>
registration fee within one week from the acceptance
notification.<br>
<br>
<br>
EXAMINATION<br>
<br>
Participants who are interested in undertaking an examination
for<br>
credit purpose on the topics presented at the school must
explicitly<br>
request it in the Application Form.<br>
Participants who will pass the examination will receive a
certificate<br>
suitable for credit recognition, according to the information
they<br>
have provided in the Application Form.<br>
<br>
<br>
ORGANISATION CO-CHAIRS<br>
<br>
* Antonio Cerone,<br>
United Nations University, UNU-IIST,<br>
Macau SAR China;<br>
<br>
* Dimitrios Kourtesis<br>
The University of Sheffield, International Faculty - City
College,<br>
Thessaloniki, Greece<br>
<br>
<br>
CONTACTS<br>
<br>
Enquiries about Application and Application Submissions should
be<br>
sent to: <a class="moz-txt-link-abbreviated" href="mailto:sefm_school@iist.unu.edu">sefm_school@iist.unu.edu</a><br>
<br>
</tt></big>
</body>
</html>