Home - Scope
Topics
Important dates
Call for papers
Committees
Information for authors
Workshop information
Registration
Contact information
Keynote Speakers
Programme
Travel
Conclusions


Scope

After the successful organisation of the first three workshops (SEEFM'03 - Thessaloniki, SEEFM'05 - Ohrid, SEEFM'07 - Thessaloniki) the 4th South-East European Workshop on Formal Methods aims to continue bringing together researchers of the Formal Methods community, not only from SEE region but from the rest of the world as well. The theme of this workshop is twofold and involves:

"Formal Methods for Web Services"
and
"Formal Methods for Agent-based Systems"

Workshop proceedings published by:

Conference Publishing Services (CPS)
SEEFM'09
4th South-East European Workshop on Formal Methods
"Formal Methods for Web Services", and
"Formal Methods for Agent-based Systems"
City College (www.city.academic.gr)
South-East European Research Centre SEERC (www.seerc.org)
Thessaloniki, Greece, 5 December 2009