Steering Group

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

Share