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

IEEE AEIT 2019 : International Annual Conference

Deadline :
Mon 20 May 2019
Sep 18, 2019 - Sep 20, 2019 - Florence

AITA 2019 : 15th International Workshop on Advanced Infrared Technology and Applications

Deadline :
Fri 31 May 2019
Sep 16, 2019 - Sep 19, 2019 - Florence

IDCS 2019 : IDCS2019: The 12th International Conference on Internet and Distributed Computing Systems

Deadline :
Sat 01 Jun 2019
Oct 10, 2019 - Oct 12, 2019 - University of Naples Parthenope - Villa