Share this on

2nd South-East European Workshop on Formal Methods (SEEFM'05)

2nd South-East European Workshop on Formal Methods (SEEFM'05)
Download poster
Event type Workshop
Location Ohrid, FYROM
Date(s) 18/11/2005 - 19/11/2005
Organiser(s) South East European Research Centre, City College
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.

We use cookies to ensure you get the best experience on our website.
You can disable cookies by modifying the settings in your internet browser’s options.