Scope

The successful organisation of the 1st South-East European Workshop in Formal Methods that took place in Thessaloniki on the 20th of November 2003, fulfiled its goal by bringing people from SEE together, based on their common interest in Formal Methods. The aim of the 2nd workshop 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.