ThisvolumecontainsthepaperspresentedattheInternationalConferenceon- tegratedFormalMethods, iFM2009, heldon16-19February2009inDusseldorf ], Germany.Theconferencewastheseventhinaseriesofconferencesonintegrated formal methods, with previous editions in York, Dagstuhl, Turku, Canterbury, Eindhoven and Oxford. The iFM conference series seeks to further research into the combination of di?erent formal methods, both for modelling and analysis, covering all aspects from language design over veri?cation techniques to tools and their integration into software engineering practice. iFM 2009 received 55...