Proceedings are now available on line. Photos from the workshop The successful organisation of the 1st Workshop that took place in Thessaloniki (SEEFM03) and the 2nd Workshop that took place in Ochrid (SEFM05), fulfilled their goals by bringing people from SEE together, based on their common interest in Formal Methods. The aim of the 3rd in series workshop 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. Invited Speakers Marco Pistore
Martin Wirsing The event is sponsored by BCS-FACS and SOSoRNET
Announcements The deadlines for the SEEFM07 workshop have been extended. The new deadlines are:
SUBMISSION OF ABSTRACTS: 7 September 2007
|
 |
3rd
South-East European Workshop in Formal Methods SEEFM07 Satellite
of Informatics
Education Europe II Conference, 29-30 November 2007 |
 |
|
|
