Advisory Board

FME organizes the Formal Methods (FM) conference series. An advisory board advices FME in symposia matters. The following members serve on the advisory board:

Dines Bjorner\
Jin Song Dong\
John Fitzgerald\
Marie-Claude Gaudel\
Stefania Gnesi\
Klaus Havelund\
Ian J. Hayes

Share