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
|Formal Methods at NADA, KTH
Royal Institute of Technology (KTH), Stockholm
|Industrilogik, L4I AB
Swedish FM events
FME Projects with Swedish participation
Send mail to Karl Meinke
Last changed : Dec 8 2004
Copyright © 1996 Dr. Mícheál Mac an Airchinnigh