10 years iFM

Call for Papers

Objectives and scope

Applying formal methods may involve the modelling of different aspects of a system that are expressed through different paradigms. Applying formal methods may also involve the application of different analysis techniques as to treat differently modelled system views, or simply as to cope with the sheer complexity of the system. The iFM conference series seeks to further research into the combination of different formal methods, both for modelling and analysis, covering all aspects from language design over verification techniques to tools and their integration into software engineering practice.

Areas of interest include but are not limited to:

Formal and semiformal modelling notations | Semantics | Verification | Model checking | Static analysis | Theorem proving | Integration of formal methods into software engineering practice | Refinement | Model transformations | Type systems | Logics | Tools | Experience reports | Case studies

Besides a program of contributed papers the conference will feature a number of workhops and tutorials.

Invited Speakers

David Basin | Michael Butler | Byron Cook

Conference location

Ten years after the first iFM conference in York, the 2009 edition will take place in Düsseldorf, Germany, alongside the river Rhine. Hosted by the University of Düsseldorf the conference will be jointly organized by the software engineering group of Düsseldorf University and the formal methods group of the University of Paderborn.

PC chairs

Important dates

  • Abstracts: 12. September 2008 (extended)
  • Full papers: 18. September 2008 (extended)
  • Notification: 1. November 2008
  • Final version: 1. December 2008 (to be confirmed)
  • Conference: 16. - 19. February 2009

Program committee

  • Eerke Boiten (U. of Kent, UK)
  • Einar Broch Johnsen (U. of Oslo, N)
  • Ana Cavalcanti (U. of York, UK)
  • Frédéric Dadeau (U of Besancon, F)
  • Jim Davies (U. of Oxford, UK)
  • John Derrick (U. of Sheffield, UK)
  • Jin Song Dong (U. of Singapore, Sing)
  • Neil Evans (AWE, UK)
  • Martin Fränzle (U. of Oldenburg, D)
  • Andy Galloway (U. of York, UK)
  • Stefan Hallerstede (ETH Zurich, Swit)
  • John Hatcliff (Kansas State U., USA)
  • Marta Kwiatkowska (U. of Oxford, UK)
  • Frederic Lang (INRIA Rhone-Alpes, F)
  • Michael Leuschel (U. of Düsseldorf, D)
  • Dominique Mery (LORIA Nancy, F)
  • Stephan Merz (LORIA Nancy, F)
  • Thomas Santen (Microsoft EMIC, D)
  • Augusto Sampaio (U. of Pernambuco, Br)
  • Wolfram Schulte (Microsoft Research, USA)
  • Graeme Smith (U. of Queensland, AUS)
  • Kenji Taguchi (NII, Jp)
  • Helen Treharne (U. of Surrey, UK)
  • Ragnhild van der Straeten (U. of Brussels, Belg)
  • Marina Walden (Abo Akademie, F)
  • Heike Wehrheim (U. of Paderborn, D)

Submission guidelines

The iFM 2009 conference solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration. All papers must be original, unpublished, and not submitted for publication elsewhere. Papers have to be submitted using EasyChair either as postscript or PDF, using the Springer LNCS style. Papers should not exceed 15 pages in length. Each paper will undergo a thorough process of review and the conference proceedings will be published by Springer Verlag in the LNCS series. A special issue of the conference in the journal Science of Computer Programming is planned.