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
2nd South-East European Workshop on Formal Methods (SEEFM'05)
Event type Workshop
Location Ohrid, FYROM
Date(s) 18/11/2005 - 19/11/2005
Organiser(s) South East European Research Centre, City College
Website http://www.seefm.info/seefm05/
The aim of SEEFM 2005 is to bring together more researchers of South-Eastern European countries and not only, who are interested in Formal Methods. More specifically, the workshop intents to establish a network of scientists in the wider Balkan area who are active in the field of Formal Methods. The theme of this workshop deals with the practical dimensions of formal methods; that is, how formal methods can deal with the challenges in the business world in order to facilitate practical development of dynamically evolving, correct and safe software systems.
