Applying formal methods may involve modeling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

Areas of interest include but are not limited to:

  • Formal and semiformal modelling notations;
  • Integration of formal methods into software engineering practice;
  • Refinement;
  • Theorem proving;
  • Tools;
  • Logics;
  • Model checking;
  • Model transformations;
  • Semantics;
  • Static analysis;
  • Type systems;
  • Verification;
  • Case studies;
  • Experience reports

Past Editions

Information on past editions of iFM can be found here.