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 Bjorner
Jin Song Dong
John Fitzgerald
Marie-Claude Gaudel
Stefania Gnesi
Klaus Havelund
Ian J. Hayes