Become a Member

Become a Member of FME

You can become a member by filling in the membership application form.

Become a member of FME!

FME is a not-for-profit association run by a group of volunteers that form the FME board. We encourage you to become a member and get involved with FME! Currently there is no membership fee.

FME’s aim is to encourage formal methods research and application. We

  • stimulate the use of formal methods in industry, and
  • promote international co-operation among researchers and users of formal methods, in order to exchange ideas, to identify common interests and to make links between research and areas of application.

Our activities include the dissemination of research findings and industrial experience though our symposia and sponsored events; the development of information resources for educators; and a networking function for commercial practitioners.

The members of FME are drawn equally from academic institutes and commercial companies. There are two different types of members:

  • ordinary members, intended for individuals interested in the activities of FME and who wish to contribute to the goals of FME.
  • constitutional members, intended for organisations that are interested in the activities of FME and that wish to contribute to the goals of FME.