Formal methods are emerging in computer science as a prominent approach to the rigorous design of computer, communication and software systems. The aim of the SFM series is to offer a good spectrum of current research in foundations as well as applications of formal methods, which can be of interest for graduate students and young researchers who intend to approach the field.

Past editions:

This year SFM is organised in conjunction with the EU FET project QUANTICOL. It is devoted to the quantitative evaluation of collective adaptive systems and covers topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.

All participants will receive a copy of a tutorial book published by Springer as a volume in the Lecture Notes in Computer Science series.