Share this on

1st South-East European Workshop on Formal Methods (SEEFM'03)

1st South-East European Workshop on Formal Methods (SEEFM'03)
Download poster
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).

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.