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


Important dates

SUBMISSION OF ABSTRACTS 31 August 2009
SUBMISSION OF PAPERS 7 September 2009 14 September 2009
NOTIFICATION OF ACCEPTANCE 5 October 2009
CAMERA-READY SUBMISSIONS 19 October 2009
FINAL PROGRAMME 30 October 2009
WORKSHOP 4-5 December 2009 5 December 2009
Important Update:
The workshop will be a one-day event and will take place on
Saturday the 5th of December, 2009.
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