SEEFM07: 3rd South-East European Workshop on Formal Methods

Venue: Thessaloniki

Location: Thessaloniki, Greece

Event Date/Time: Nov 30, 2007 End Date/Time: Nov 01, 2007
Paper Submission Date: Aug 31, 2007
Report as Spam


The theme of this workshop is twofold and deals with Service-Oriented Computing and Formal Methods and Teaching Formal Methods. This year the workshop will be a satellite of the Informatics Education Europe II Conference