Formal Methods Europe (FME) is a worldwide association bringing together researchers and practitioners interested in formal methods for developing computing systems and software.
FME’s aim is to promote research in formal methods and its applications. The association’s members are drawn equally from academic institutes and commercial companies. FME’s activities include the dissemination of research findings and industrial experience through symposia and other meetings; the development and sharing of resources for educators in formal methods; and the facilitation of connecting research and industrial practice.
FME runs the International Symposium on Formal Methods (FM) every 18 months, as well as the FormaliSE conference co-located with ICSE — which helps connect the formal methods and software engineering communities. FME’s teaching committee maintains a database of courses on formal methods around the world, a repository of case studies, and a list of summer schools. FME’s industry committee aims to support the use of formal methods into industry, as well as to obtain feedback from industry about the usability of the methods in practice.
If you are interested in any aspect of formal methods, we encourage you to join FME and engage with the community. Membership is free!
More information here: http://www.fmeurope.org/