Formal Methods Europe

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 Stockholm	Formal Methods at NADA, KTH Royal Institute of Technology (KTH), Stockholm
Industrilogik, L4I AB Stockholm	...

Swedish FM events

Industrial Seminar, 19 February 1997 at SICS in Kista.

FME Projects with Swedish participation

Formal Methods Europe Information Resources (FMEInfRes).
Formal Methods Europe Industrial Seminars (FMEIndSem).
Guide Books and Videos for Managers on Formal Methods (FM-Guides).

[ The FME Homepage | Other FME Hubs ]

Send mail to Karl Meinke