South-East European Research Centre (SEERC)

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.