FM 2018

FM 2018 is 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