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.