Dear users, the OCS will cease operation by the end of the year 2022. PC chairs of unfinished conferences should contact ocs_support@springer.com for further guidance.


Welcome to the conference service of iFM2013

Info Icon

This is the main page of the conference. You are presented with a quick overview of the conference facts, as well as the current phases, if logged in. Furthermore you have direct access to actions relevant to the conference.

Your current actions

View papers View papers

With this action an overview of the currently submitted papers is presented to you. Furthermore you can see phase specific information and your possible paper-related actions.

Contact PC Chair Contact PC Chair

With this action you can contact the PC Chair via the internal message system.

Submit paper Submit paper

This conference is in the submission phase. With this action you can submit a paper directly.

Open the overview of your actions in a new page.


Furthermore you can consult the Howtos.


Name:10th International Conference on Integrated Formal Methods
Description: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 hybrid approaches to formal modeling and analysis; i.e., 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.
PC Chairs:Luigia Petre
Conference flow:Abstract Submission: January 10, 2013 23:59 EET,
Paper Upload: January 17, 2013 23:59 EET,
Bidding for Review: January 25, 2013 23:59 EET,
Assignment of Reviewers: January 26, 2013 23:59 EET,
Review: February 28, 2013 23:59 EET,
Decision: March 5, 2013 23:59 EET,
Final: March 31, 2013 23:59 EEST

  • View papers
    arrow

    View papers

  • Contact PC Chair
    arrow

    Contact PC Chair

  • Submit abstract
    arrow

    Submit abstract