15th International Conference on integrated Formal Methods

Kronstad
Time icon
When:02. December   00:00
Last until: 06. December 00:00
Add event to my calendar

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.

You will find more information on the iFM website.