The International Conference on integrated Formal Methods

Steering Committee

The purpose of the Steering Committee is to provide continuity between one conference and the next.

Current Membership

Former Members

  • Elvira Albert (Complutense University of Madrid, Spain)---serving 2015-2017
  • Dominique Méry (Université de Lorraine, France)---serving 2015-2017
  • Marjan Sirjani (University of Reykjavik, Iceland)---serving 2015-2017