|
SEEFM'07: 3rd South-East European Workshop on Formal Methods
Conference in-person 30th November to 1st December 2007 Thessaloniki, Greece Website: http://www.seefm.info/seefm07/ Contact person: Dimitris Dranidis 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 Organized by: CITY College Deadline for abstracts/proposals: 31st August 2007 Check the event website for more details. View all events from this organizer.
|
