Welcome to the homepage of the International Conference on integrated Formal Methods (iFM) in Maynooth University in cooperation with ACM SIGLOG.

Co-located events include a PhD Symposium (PhD-iFM'18) and the 23rd International Conference on Formal Methods for Industrial Critical Systems (FMICS).

We thank our sponsors: Maynooth University, Science Foundation Ireland, Springer, EASST, Fáilte Ireland, Meet in Ireland, the Embassy of France in Ireland and ACM SIGLOG.

About iFM

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system.

The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modelling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

For more information on this years conference see our call for papers and important dates. Details of previous conferences are available at http://www.ifmconference.org/.