We are Formal Methods Europe, an association promoting research and practice in #FormalMethods mathematical #SoftwareEngineering approaches that support the rigorous specification, design and verification of systems.

Find out more here: https://www.fmeurope.org/