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 2nd South East European Workshop on Formal Methods: Formal Methods: Challenges in the Business World
Authors George Eleftherakis (editor)
Publisher SEERC
Year 2005
Type Proceedings
ISBN 960-87869-8-3
The 2nd South-East European Workshop on Formal Methods (SEEFM05) took place in Ohrid, Former Yugoslav Republic of Macedonia, on the 18th and 19th of November 2005. It was organised jointly by CITY College, SEERC, and the University of Sts. Cyril and Methodius and held as a satellite event of the 2nd Balkan Conference in Informatics. The SEEFM workshop series aims to bring together researchers from countries of South-East Europe and beyond, who share an interest in Formal Methods. The workshop attracted participants from Greece, FYROM, Bulgaria, Serbia and Montenegro, Bulgaria, Romania, Slovenia, Hungary, Turkey, Russia, but also from the UK, Germany, France, Algeria, and Brazil. The proceedings comprise a total of 19 papers presented at the conference (10 full papers, 7 discussion papers, and 2 invited papers).
