9th International Conference on Integrated Formal Methods

Conference Location
The conference will be co-located with ABZ 2012 in order to host a joint conference in honour of Egon Borger's 65th Birthday. iFM 2012 is organized by CNR/ISTI and will take place at the Area della Ricerca del CNR in Pisa on June 18-21, 2012.

Objectives and Scope
Applying formal methods may involve the modeling of different aspects of a system that are expressed through different paradigms. Correspondingly, different analysis techniques will be used to examine differently modeled system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into the combination of (formal and semi-formal) methods for system development, regarding modeling and analysis, and covering all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.
Areas of interest include but are not limited to:

  • Case Studies
  • Experience reports
  • Formal and semiformal modelling notations
  • Integration of formal methods into software engineering practice
  • Logics
  • Model checking
  • Model transformations
  • Semantics
  • Static Analysis
  • Refinement
  • Theorem proving
  • Tools
  • Type Systems
  • Verification

The conference will be preceded by a day devoted to workshops and tutorials .

Invited Speakers
Prof. Egon Boerger, University of Pisa, Italy
Prof. Muffy Calder, University of Glasgow, United Kingdom
Prof. Ian J. Hayes, University of Queensland, Australia

iFM 2012 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration.  The conference proceedings will be published by Springer Lecture Notes in Computer Science series. All papers must be original, unpublished, and not submitted for publication elsewhere. All submissions must be in PDF format, using the Springer LNCS style files; we suggest to use the LaTeX2e package (the llncs.cls class file, available in llncs2e.zip  and the typeinst.dem available in typeinst.zip as a template for your contribution).  Submissions should be made using the iFM 2012 Easychair  web site.  Papers should not exceed 15 pages in length. Each paper will undergo a thorough review process.
All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by the early date indicated by the organizers, and present the paper.

Previous events in this series were held at: