FM 2018

FM 2018 is not the latest in a series of symposia organized by Formal Methods Europe, an independent association that encourages the use of, and research on, formal methods for the engineering of computer-based systems and software.

FM 2019 in Porto

The 23rd FM Symposium will be held October 7-11, 2019 in Porto. See

On-line FM 2018 proceedings

The proceedings of FM 2018, volumeĀ 10951 of the Springer Lecture Notes in Computer Science, can be accessed at

Website has moved

The FM 2018 website has moved to