Past and Current iFM Conferences

• 20th International Conference on integrated Formal Methods (iFM 2025)
  • Inria Paris, France; November 19th - 21st, 2025
  • General Chair: Caterina Urban; Program Chairs: Ferruccio Damiani, Marie Farrell
  • Proceedings: TBD
• 19th International Conference on integrated Formal Methods (iFM 2024)
  • Manchester, UK; November 11th - 15th, 2024
  • General Chair: Marie Farrell, Mohammad Reza Mousavi; Program Chairs: Laura Kovács, Nikolai Kosmatov
  • Proceedings: LNCS, volume 15234
• 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: LNCS, volume 14300
• 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