Scope

SCOPE

The successful organisation of the 1st Workshop that took place in Thessaloniki (SEEFM03) and the 2nd Workshop that took place in Ochrid (SEFM05), fulfilled their goals by bringing people from SEE together, based on their common interest in Formal Methods. The aim of the 3rd in series workshop is to continue this success by engaging more researchers of the Formal Methods community not only from South-East Europe but also from the rest of the world. The theme of this workshop is twofold and deals with:

(a) "Service-Oriented Computing and Formal Methods" and
(b) "Teaching Formal Methods".

This year the workshop will be held in Thessaloniki and will be a satellite of the Informatics Education Europe II Conference which is going to be held the previous days at the same venue.

TOPICS

Topics include but are not restricted to:

Languages and techniques for service composition/orchestration
Semantics-based dynamic service discovery
Verification techniques for ensuring QoS of service-oriented systems
Case studies of formal methods applications in Web services
Security of service-oriented systems
Formal verification methods for security and trust in service-oriented computing
Comparisons of different formalisms/approaches
Innovative approaches in teaching formal methods
Tools for supporting formal methods courses
Experience from teaching formal methods
Specification and modelling techniques
Lightweight formal methods
Formal models for agile methodologies
Tool support with focus on industrial needs
Experience from applying formal methods in real cases
Practical use and case studies from industrial practice

3rd South-East European Workshop in Formal Methods SEEFM07
South-East European Research Centre SEERC (www.seerc.org)
City College, Affiliated Institution of the University of Sheffield (www.city.academic.gr)
Thessaloniki, 30 November-1 December 2007

Satellite of Informatics Education Europe II Conference, 29-30 November 2007
Contact: seefm07@seerc.org