FME logoFormal Methods Europe

Swedish flagEU flag Sweden HUB

Formal Methods Europe (FME) is a European organisation supported by the Commission of the European Union, with the mission of promoting and supporting the industrial use of formal methods for computer systems development.

In keeping with the general principles of the European Union here we present those aspects of Formal Methods Europe which are of particular interest to the industry local to Sweden.

Swedish sites for Formal Methods

Logikkonsult NP
Formal Methods at NADA, KTH
Royal Institute of Technology (KTH), Stockholm
Industrilogik, L4I AB

Swedish FM events

FME Projects with Swedish participation

[ The FME Homepage | Other FME Hubs ]

Send mail to Karl Meinke

Last changed : Dec 8 2004
Copyright © 1996 Dr. Mícheál Mac an Airchinnigh