Integrated Formal Methods

The fourth conference in the series of international meetings on Integrated Formal Methods, IFM, was held in Canterbury, UK, 4–7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just outside the ancient town of Canterbury, part of the county of Kent.

This is the 5th edition of the International Conference on Integrated Formal Methods (IFM). Previous IFM conferences were held in York (June 1999), Dagstuhl (November 2000), Turku (May 2002) and Canterbury (April 2004). This year’s IFM was held in December 2005 on the campus of the Technische Universiteit Eindhoven in The Netherlands.
This year IFM received 40 submissions, from which 19 high-quality papers were selected by the Program Committee.

This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.