[isabelle] Call for Applications: 5th International School on Software Engineering and Formal Methods

(Apologies for duplicates)

                  Call for Applications


                 5th International School on
           Software Engineering and Formal Methods

         24-28 September 2012 - Thessaloniki, Greece

            Application deadline: 15 July 2012

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 Protocol.


* Antonio Cerone
  United Nations University, UNU-IIST, Macau SAR China;

* Markus Roggenbach
  Swansea University, Swansea, UK;

* Bernd-Holger Schlingloff
  Humboldt University and Fraunhofer FIRST, Berlin, Germany;

* Gerardo Schneider
  University of Gothenburg, Gothenburg, Sweden;

* Siraj Ahmed Shaikh
  Coventry University, Coventry, UK.


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.

The application form is available at


Completed application forms should be emailed (plain text only) to

     sefm_school at iist.unu.edu.

Application deadline: 15 July 2012.

Applicants will be notified of the outcome of their application within
one week after submitting their application.

Accepted applicants must confirm their participation and pay the
registration fee within one week from the acceptance notification.


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.


* Antonio Cerone,
  United Nations University, UNU-IIST,
  Macau SAR China;

* Dimitrios Kourtesis
  The University of Sheffield, International Faculty - City College,
  Thessaloniki, Greece


Enquiries about Application and Application Submissions should be
sent to: sefm_school at iist.unu.edu

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.