Email Gateway (Aug 18 2022 at 19:51): Email Gateway (Aug 18 2022 at 19:51):From: Markus Roggenbach <M.Roggenbach@swansea.ac.uk>
(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
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@iist.unu.edu
Last updated: May 06 2024 at 12:29 UTC