Welcome to the web site of Formal Methods Europe!

Introduction

Welcome to the web pages of FME, a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software. Formal methods differ from many software engineering techniques in that they stress the importance of a rigorous semantic basis for the tools and notations used. Such sound foundations permit the analysis of computing system designs to a depth that is otherwise impossible to achieve.

FME's aim is to encourage formal methods research and application. The association's members are drawn equally from academic institutes and commercial companies. 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 through ForTIA, the formal techniques industry association.

On these pages you will find information about formal methods and about FME, our events and activities. Membership of FME is open to anyone willing to help the association achieve its aims and is free of charge. If you have any comments or suggestions about this website or its contents, please contact the webmaster.

Latest News

See the results of the Mondex verification case study of University of Karlsruhe sponsored by an FME small project: Technical Report. The work has been published at SEFM 2007.

Formal Methods Europe (FME) has an annual budget which is earmarked for sponsoring one or more so-called small projects in 2007-8. We invite all FME members to submit proposals valued at up to 5k Euro. Download the Call for Proposals for details.

Job offers in the area of Formal Methods have been moved to the FME Wiki This gives you the possibility to add your own job vacancies directly.

Prepare for FM 2008, Aabo Akademi, Turku, Finland, May 26-30: conference webpage

New sponsorship rules are in effect. Please, download the Guide to FME Sponsorship to find out what and how FME sponsors events!

© copyright 2004 | Formal Methods Europe