SEEFM'03
1st South-East European Workshop on Formal Methods
"Agile Formal Methods: Practical, Rigorous Methods for a changing world"
City College (www.city.academic.gr)
South-Eastern European Research Centre SEERC (www.seerc.org)
Thessaloniki, Greece, 20 November 2003
Satellite of 1st Balkan Conference in Informatics, 21-23 Nov 2003 (bci1.csd.auth.gr)

SEEFM'05
2nd South-East European Workshop on Formal Methods
"Practical dimensions: Challenges in the business world"
City College (www.city.academic.gr)
South-Eastern European Research Centre SEERC (www.seerc.org)
Ohrid, 18-19 November 2005
Satellite of 2nd Balkan Conference in Informatics, 17-20 Nov 2005 (www.ii.edu.mk/BCI2005)
Satellite of 1st Balkan Conference in Informatics, 21-23 Nov 2003 (bci1.csd.auth.gr)

---

SEEFM'07

SEEFM'07
3rd South-Easth European Workshop on Formal Methods
"Service-Oriented Computing and Formal Methods"
and
"Teaching Formal Methods"
City College, Affiliated Institution of the University of Sheffield
South-Eastern European Research Centre SEERC 
Thessaloniki, 30 November-1 December 2007
Satellite of Informatics Education Europe II Conference, 29-30 November 2007