Welcome to iFM 2019
The 15th International Conference on integrated Formal Methods (iFM) will be held in Bergen, Norway on 2-6 December, 2019.
News
- Online conference proceedings are available for a month (← link)
- Detailed conference program is available now! Check also all the interesting satellite events!
Conference registration is open now! Early-bird deadline is 6th November.- Conference program overview can be found here.
- The list of accepted papers is available here.
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.
Organised by
Sponsored by
