iFM Conference
  • Home
  • iFM 2023
  • Organization
  • History

The International Conference on integrated Formal Methods

iFM Conference

Past and Current iFM Conferences

  • 18th International Conference on integrated Formal Methods (iFM 2023)
    • Leiden, the Netherlands; November 13th - 15th, 2023
    • General Chair: Marcello M. Bonsangue; Program Chairs: Paula Herber, Anton Wijs
    • Proceedings: TBD
  • 17th International Conference on integrated Formal Methods (iFM 2022)
    • Lugano, Switzerland; June 7th - 10th, 2022
    • General Chair: Carlo A. Furia; Program Chairs: Maurice H. ter Beek, Rosemary Monahan
    • Proceedings: LNCS, volume 13274
  • 16th International Conference on integrated Formal Methods (iFM 2020)
    • Lugano, Switzerland; November 16th - 20th, 2020
    • General Chair: Carlo A. Furia; Program Chairs: Brijesh Dongol, Elena Troubitsyna
    • Proceedings: LNCS, volume 12546
  • 15th International Conference on integrated Formal Methods (iFM 2019)
    • Bergen, Norway; December 4th - 6th, 2019
    • General Chair: Volker Stolz; Program Chairs: Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
    • Proceedings: LNCS, volume 11918
  • 14th International Conference on integrated Formal Methods (iFM 2018)
    • Maynooth, Ireland; September 5th - 7th, 2018
    • General Chair: Rosemary Monahan; Program Chairs: Kirsten Winter, Carlo A. Furia
    • Proceedings: LNCS, volume 11023
  • 13th International Conference on integrated Formal Methods (iFM 2017)
    • Torino, Italy; September 18th - 22nd, 2017
    • General Chair: Ferruccio Damiani; Program Chairs: Nadia Polikarpova, Steve Schneider
    • Proceedings: LNCS, volume 10510
  • 12th International Conference on integrated Formal Methods (iFM 2016)
    • Reykjavík, Iceland; June 1st - 5th, 2016
    • General Chair: Marjan Sirjani; Program Chairs: Erika Abraham, Marieke Huisman
    • Proceedings: LNCS, volume 9681
  • 11th International Conference on integrated Formal Methods (iFM 2014)
    • Bertinoro, Italy; September 9th - 11th, 2014
    • General Chair: Gianluigi Zavattaro; Program Chairs: Elvira Albert, Emil Sekerinski
    • Proceedings: LNCS, volume 8739
  • 10th International Conference on integrated Formal Methods (iFM 2013)
    • Turku, Finland; June 10th - 14th, 2013
    • Program Chairs: Einar Broch Johnsen, Luigia Petre
    • Proceedings: LNCS, volume 7940
  • 9th International Conference on integrated Formal Methods (iFM 2012)
    • Pisa, Italy; June 18th - 21st, 2012
    • General Chairs: John Derrick, Stefania Gnesi; Program Chairs: Diego Latella, Helen Treharne
    • Proceedings: LNCS, volume 7321
  • 8th International Conference on integrated Formal Methods (iFM 2010)
    • Nancy, France; October 11th - 14th, 2010
    • Program Chairs: Dominique Méry, Stephan Merz
    • Proceedings: LNCS, volume 6396
  • 7th International Conference on integrated Formal Methods (iFM 2009)
    • Düsseldorf, Germany; February, 16th - 19th, 2009
    • Program Chairs: Michael Leuschel, Heike Wehrheim
    • Proceedings: LNCS, volume 5423
  • 6th International Conference on integrated Formal Methods (iFM 2007)
    • Oxford, UK; July 2nd - 5th, 2007
    • Chair: Jim Davies; Co-chairs: Jin Song Dong, Jeremy Gibbons, Judi Romijn, Wolfram Schulte
    • Proceedings: LNCS, volume 4591
  • 5th International Conference on integrated Formal Methods (iFM 2005)
    • Eindhoven, The Netherlands; November 29th - December 2nd, 2005
    • Program Chairs: Jaco van de Pol, Judi Romijn, Graeme Smith
    • Proceedings: LNCS, volume 3771
  • 4th International Conference on integrated Formal Methods (iFM 2004)
    • Kent, UK; April 4th - 7th, 2004
    • Program Chairs: Eerke Boiten, John Derrick, Graeme Smith
    • Proceedings: LNCS, volume 2999
  • 3rd International Conference on integrated Formal Methods (iFM 2002)
    • Turku, Finland; May 15th - 18th, 2002
    • Chairs: Michael Butler (PC Co-chair), Luigia Petre, Kaisa Sere (PC Co-chair)
    • Proceedings: LNCS, volume 2335
  • 2nd International Conference on integrated Formal Methods (iFM 2000)
    • Dagstuhl Castle, Germany; Novembrer 1st - 3rd, 2000
    • Chairs: Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
    • Proceedings: LNCS, volume 1945
  • 1st International Conference on integrated Formal Methods (iFM 1999)
    • York, UK; June 28th - 29th, 1999
    • Chairs: Keijiro Araki, Andy Galloway (Co-chair), Kenji Taguchi (Co-chair)
    • Proceedings: IFM'99
  • Home
  • iFM 2023
  • Organization
  • History