Upcoming events
Related documents
 |
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
1st South-East European Workshop on Formal Methods (SEEFM'03)
Event type Workshop
Location Thessaloniki, Greece
Date(s) 20/11/2003
Organiser(s) South East European Research Centre, City College, University of Sheffield
The aim of the workshop was to bring together researchers of South-Eastern European countries and others who are interested in Formal Methods. More specifically, the workshop intended to establish a network of scientists in the Balkan area who are active in the field of formal methods. The theme of this workshop was how formal methods can deal with change, in order to facilitate practical development of dynamically evolving, correct and safe software systems. (Agile Formal Methods: Practical, Rigorous Methods for a changing world).
