Integrated Formal Methods (IFM)

13th IFM 2017: Torino, Italy

12th IFM 2016: Reykjavik, Iceland

11th IFM 2014: Bertinoro, Italy

10th IFM 2013: Turku, Finland

9th IFM 2012: Pisa, Italy

8th IFM 2010: Nancy, France

7th IFM 2009: Düsseldorf, Germany

6th IFM 2007: Oxford, UK

5th IFM 2005: Eindhoven, The Netherlands

4th IFM 2004: Canterbury, Kent, England

IFM Home Page

3rd IFM 2002: Turku, Finland

2nd IFM 2000: Dagstuhl Castle, Germany

1st IFM 1999: York, UK

maintained by Schloss Dagstuhl LZI at University of Trier