|
4th South-East European Workshop on Formal Methods (SEEFM'09)
Conference in-person 4th to 5th December 2009 Thessaloniki, Greece Website: http://www.seefm.info/seefm09/ Contact person: Konstantinos Rousis and Ervin Ramollari SEEFM'09 aims to continue bringing together researchers of the Formal Methods community, not only from SEE region but from the rest of the world as well. Organized by: CITY College, International Faculty of the University of Sheffield Deadline for abstracts/proposals: 7th September 2009 Check the event website for more details. View all events from this organizer.
|
