IFM

International Conference on Integrated Formal Methods

  1. 2016

    IFM 2016

    • 1-5 June
    • Reykjavik, Iceland
  2. 2014

    IFM 2014

    • 9-11 September
    • Bertinoro, Italy
  3. 2013

    IFM 2013

    • 10-14 June
    • Turku, Finland
  4. 2012

    IFM 2012

    • 18-21 June
    • Pisa, Italy
  5. 2010

    IFM 2010

    • 11-14 October
    • Nancy, France
  6. 2009

    IFM 2009

    • 16-19 February
    • Düsseldorf, Germany
  7. 2007

    IFM 2007

    • 2-5 July
    • Oxford, UK
  8. 2005

    IFM 2005

    • 29 November - 2 December
    • Eindhoven, The Netherlands
  9. 2004

    IFM 2004

    • 4-7 April
    • Canterbury, UK
  10. 2002

    IFM 2002

    • 15-18 May
    • Turku, Finland
  11. 2000

    IFM 2000

    • 1-3 November
    • Dagstuhl Castle, Germany