Advisory Board

FME organises 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