Formal Methods Europe

Activities include:

Dissemination of research findings and industrial experience though conferences and sponsored events;

Networking for commercial practitioners through ForTIA ( Formal Techniques Industry Association ).

The Chair of FME is John Fitzgerald of the University Of Newcastle Upon Tyne .

SEE ALSO

EXTERNAL LINK

	CATEGORIES ABOUT FORMAL METHODS EUROPE

	computer science organizations

	formal methods

	international nongovernmental organizations

	science and technology in europe

Information About