Formal Methods Europe

FME organizes the Formal Methods (FM) conference series. A steering group advices FME in symposia matters. The following members serve on the steering group:

• Dines Bjoerner
• John Fitzgerald
• Marie-Claude Gaudel
• Stefania Gnesi
• Ian J. Hayes
• Jim Woodcock
• Pamela Zave