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
Proceedings of the 1st South-East European Workshop on Formal Methods: Agile Formal Methods: Practical, Rigorous Methods for a Changing World
Authors Dimitris Dranidis and Kalliopi Tigka (editors)
Publisher SEERC
Year 2004
Type Proceedings
ISBN 960-87869-1-6
The 1st South-East European Workshop on Formal Methods (SEEFM03) took place in Thessaloniki on November 20, 2003. It was jointly organised by CITY College and SEERC, as a satellite event of the 1st Balkan Conference on Informatics (BCI 2003). The aim of the workshop was to bring together researchers from South-Eastern European countries and others who are interested in Formal Methods. The particular aim of the workshop was to set the basis for the establishment of a network of scientists who are active in the field of formal methods in the area of the Balkans.
