South-East European Research Centre (SEERC)

The successful organisation of the 1st Workshop that took place in Thessaloniki (SEEFM'03) and the 2nd Workshop that took place in Ochrid (SEEFM'05), fulfilled their goals by bringing people from SEE together, based on their common interest in Formal Methods. The aim of the 3rd workshop in the series 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) Web Services 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.