Membership

You can become a member by filling in the online 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.

One can become a member of FME. 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.

See the FME statutes (available on the “Downloads” page) for details on both types of membership. For practical reasons it is only possible to become an ‘ordinary member’ at the moment. Currently there is no membership fee but this may change in the future.

How to Become a Member

You can become a member either by filling in the online membership application form above or by filling in a physical membership application form and and sending it via

email to info@fmeurope.org or postal mail to:

Formal Methods Europe
L-H Eriksson
Box 337
SE-751 05 UPPSALA
Sweden
Share