South-East European Research Centre (SEERC)

This book is the outcome of the 3rd South East European Workshop on Formal Methods (SEEFM07), which took place in Thessaloniki, Greece, on November 30 - December 1, 2007. The workshop was organised by SEERC and CITY College, and sponsored by BCS-FACS, the specialist group of the British Computer Society in Formal Aspects of Computing Science, and SOSoRNET, the UK Service-oriented Software Research Network.

The workshop was a continuation to the series of biannual SEEFM worshops which was initiated in 2003, and had a dual theme for 2007: (a) Service-Oriented Computing, and (b) Teaching Formal Methods. It was held as a satellite event to the Informatics Education Europe II Conference.

The workshop featured 17 presentations of full papers by authors from Greece, Germany, UK, Finland, Italy, Portugal, Czech Republic, Romania, and France, and two invited talks by Prof. Marco Pistore (IRST - Fondazione Bruno Kessler, Italy) and Prof. Martin Wirsing (Institut fόr Informatik, Ludwig-Maximilians-Universitδt Mόnchen).