The FM Symposia

FME organizes a symposium roughly every 18 months. Each symposium attracts between 125 and 500 attendees, interested in both theoretical aspects of formal methods as well as the practical application of formal methods, from all over the world.

Proceedings of the FME symposia are published by Springer Verlag as part of the LNCS (Lecture Notes in Computer Science) series. DBLP maintains an index of all FME symposia.

FME has a subgroup dealing with daily matters concerning the symposia and thinking about strategic issues in the longer run.

The following symposia have been organized in the past or are planned in the (near) future: