Upcoming events
Related documents
 |
SEERC Bi Annual Report 2022-2023 |
|
SEERC Bi Annual Report 2020-2021 |
|
SEERC Gender Equality Policy |
|
SEERC Gender Data Report 2022 |
|
SEERC Bi Annual Report 2019-2020 |
|
SEERC 15 Years Brochure Click here to download |
|
SEERC Annual Report 2018 Click here to download |
|
SEERC Annual Report 2017 |
|
SEERC Annual Report 2016 |
|
Brief Profile of SEERC 2016 |
|
SEERC Annual Report 2015 |
|
SEERC Bi-annual Report 2013-2014 |
|
SEERC Annual Report 2012 |
|
SEERC Annual Report 2011 |
|
SEERC Annual Report 2010 Click here to download |
|
SEERC Annual Report 2009 Click here to download |
|
SEERC Annual Report 2008 Click here to download |
|
SEERC Annual Report 2007 Click here to download |
|
SEERC GDPR Policy Click here to download |
Share this on
3rd South-East European Workshop on Formal Methods (SEEFM'07)
Event type Workshop
Location Thessaloniki, Greece
Date(s) 30/11/2007 - 01/12/2007
Organiser(s) South East European Research Centre, City College
Website http://www.seefm.info/seefm07/
The successful organisation of the 1st Workshop that took place in Thessaloniki (SEEFM'03) and the 2nd Workshop that took place in Ochrid (SEEFM'05), fulfilled their goals by bringing people from SEE together, based on their common interest in Formal Methods. The aim of the 3rd workshop in the series 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.
