IFM 2017 : International Conference on Integrated Formal Methods

  in Conferences   Posted on August 22, 2017

Conference Information

Submission Deadline Thursday 20 Apr 2017
Conference & Submission Link
Conference Dates Sep 18, 2017 - Sep 22, 2017
Conference Address Torino, Italy
Proceedings indexed by
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Google Scholar H5-index: 12
CORE 2017 Rating: B
Guide2Research Overall Ranking: 387
Category Rankings
Software Engineering & Programming 115

Conference Call for Papers

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope with the sheer complexity of the system.

The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modelling and analysis. The conference covers all aspects from language design through verification and analysis techniques to tools and their integration into software engineering practice.

iFM 2017 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration.

We solicit papers in the following categories:

Research papers describe original scientific research results, validated by experimental results where applicable. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. Limit: 15 pages.
Case study papers report on applications of formal methods, preferably in a real world setting. A case study paper need not introduce novel techniques or tools, but it must include a rigorous empirical evaluation and potentially be of interest to practitioners. Limit: 15 pages.
Regular tool papers present a new tool or novel extensions to an existing tool. They should provide a short description of the theoretical foundations, while focusing on the tool\’s design and implementation concerns, as well as empirical evaluation of its practical capabilities. Papers that present extensions to existing tools should clearly focus on the improvements or extensions with respect to previously published versions of the tool. Authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 15 pages.
Tool demonstration papers focus on the usage aspects of tools. Foundations and empirical evaluation are not required, but the paper should explain why the tool is relevant for the community, and, in particular, for practitioners. As with regular tool papers, authors are strongly encouraged to make their tools publicly available, preferably on the web. Limit: 8 pages.

Other Conferences in Italy

APF 2019 : Annual Privacy Forum

Deadline :
Fri 11 Jan 2019
Jun 13, 2019 - Jun 14, 2019 - Rome

FMEC 2019 : The Fourth International Conference on Fog and Mobile Edge Computing

Deadline :
Tue 15 Jan 2019
Jun 10, 2019 - Jun 13, 2019 - Rome

SDS 2019 : The Sixth International Conference on Software Defined Systems

Deadline :
Tue 15 Jan 2019
Jun 10, 2019 - Jun 13, 2019 - Rome

HotOS 2019 : The 17th Workshop on Hot Topics in Operating Systems

Deadline :
Thu 17 Jan 2019
May 12, 2019 - May 15, 2019 - Bertinoro

WNS 2019 : Workshop on ns-3

Deadline :
Sun 10 Feb 2019
Jun 19, 2019 - Jun 20, 2019 - Florence