Scope

The aim of the workshop is to bring together researchers of South-Eastern European countries and others who are interested in Formal Methods. More specifically, the workshop intents to establish a network of scientists in the Balkan area who are active in the field of formal methods. The theme of this workshop will deal with how formal methods can deal with change, in order to facilitate practical development of dynamically evolving, correct and safe software systems.