Workshops


SEEFM'09

SEEFM'09
4th South-East European Workshop on Formal Methods
"Formal Methods for Web Services" 
and
"Formal Methods for Agent-based Systems"
City College, Affiliated Institution of the University of Sheffield
South-East European Research Centre SEERC 
Thessaloniki, 4-5 December 2009

SEEFM'07

SEEFM'07
3rd South-East 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-East European Research Centre SEERC 
Thessaloniki, 30 November-1 December 2007
Satellite of Informatics Education Europe II Conference, 29-30 November 2007

SEEFM'05

SEEFM'05
2nd South-East European Workshop on Formal Methods
"Practical dimensions: Challenges in the business world"
City College, Affiliated Institution of the University of Sheffield
South-East European Research Centre SEERC
Ohrid, 18-19 November 2005
Satellite of 2nd Balkan Conference in Informatics, 17-20 Nov 2005 (www.ii.edu.mk/BCI2005)

SEEFM'03

SEEFM'03
1st South-East European Workshop on Formal Methods
"Agile Formal Methods: Practical, Rigorous Methods for a changing world"
City College, Affiliated Institution of the University of Sheffield
South-East European Research Centre SEERC 
Thessaloniki, Greece, 20 November 2003
Satellite of 1st Balkan Conference in Informatics, 21-23 Nov 2003


South-East European Network on Formal Methods