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

[Markus Roggenbach]

(Apologies for duplicates)

                   Call for Applications

----------------------------------------------------------------

                  5th International School on
            Software Engineering and Formal Methods

          24-28 September 2012 - Thessaloniki, Greece
               http://sefm.iist.unu.edu/School/

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


LECTURERS

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


APPLICATION AND FEE

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

      http://sefm.iist.unu.edu/School/sefm-school-2012-app-form.txt

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.


EXAMINATION

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.


ORGANISATION CO-CHAIRS

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

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


CONTACTS

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://openmath.org/pipermail/om-announce/attachments/20120521/26065eae/attachment.htm