South-Eastern European Workshop on Formal Methods, Ohrid, Nordmazedonien

The aim of the 2nd workshop is to bring together more researchers of South&#8211;Eastern European countries and not only, who are interested in Formal Methods&#046; 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&#046; 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&#046; <b>Keywords:</b> Formal Verification<br>Model checking<br>Testing with focus on changing requirements<br>Testing from lightweight formal methods<br>Design for test<br>Tools for formal methods<br>Application of formal methods in several domains<br>Tool support with focus on industrial needs<br>Experience from applying formal methods in real cases<br>Theoretical foundations with a focus on lightweight Formal Methods<br>Formal models for agile methodologies<br>Reasoning about changing models<br>Practical use and case studies from industrial practice<br>Models of system transformation<br>Models of emergent behaviour and intelligent agents<br>Models for mobile systems<br>Formal methods and team work<br>Formal methods in education