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 http://formalmethods2019.inesct.pt.

On-line FM 2018 proceedings

The proceedings of FM 2018, volumeĀ 10951 of the Springer Lecture Notes in Computer Science, can be accessed at https://link.springer.com/book/10.1007/978-3-319-95582-7.