International Conference on Integrated Formal Methods (IFM)

Venue Information

  • has part: Workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT)
  • has part: International Workshop on Formal Methods for and on the Cloud (iFMCloud)
  • has part: Workshop on Pre- and Post-Deployment Verification Techniques (PrePost)
  • has part: Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS)

16th IFM 2020: Lugano, Switzerland

15th IFM 2019: Bergen, Norway

14th IFM 2018: Maynooth, Ireland

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

a service of Schloss Dagstuhl - Leibniz Center for Informatics