[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 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
              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@xxxxxxxxxxxx.

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@xxxxxxxxxxxx