South-East European Research Centre (SEERC)

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).