IFM: Integrated Formal Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
iFM 2016 12th International Conference on integrated Formal Methods
Jun 1, 2016 - Jun 3, 2016 Reykjavik, Iceland Jan 6, 2016 (Dec 21, 2015)
iFM 2013 10th International Conference on integrated Formal Methods
Jun 10, 2013 - Jun 14, 2013 Turku, Finland Jan 17, 2013 (Jan 10, 2013)
iFM 2010 integrated Formal Methods
Oct 11, 2010 - Oct 14, 2010 Nancy, France May 21, 2010 (May 14, 2010)
 
 

Present CFP : 2016

12th International Conference on integrated Formal Methods
Important dates

Abstract submission: December 21, 2015
Paper submission: January 6, 2016
Paper notification: February 29, 2016
Final version: March 14, 2016
Conference: June 1-3, 2016

Objectives and Scope

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 modeling and analysis; i.e., the combination of (formal and semi-formal) methods for system development, regarding both modeling and analysis. The conference covers 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:

Formal and semi-formal modelling notations
Integration of formal methods into software engineering practice
Hybrid systems
Program verification
Program synthesis
Model checking
Static analysis
Runtime analysis, monitoring, performance evaluation
Decision procedures, SAT and SMT solving
Software engineering
Component-based systems (compositional, embedded, distributed,...)
Testing
Abstraction and refinement


Submission Guidelines

iFM 2016 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 paper (max 15 pages including bibliography)
regular tool paper (max 15 pages including bibliography)
short tool paper (max 8 pages including bibliography)
case study paper (max 15 pages including bibliography)


All submissions must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. If necessary, a paper may be supplemented with a clearly marked appendix, which will be consulted at the discretion of the reviewers.

Submissions should be made using the iFM 2016 Easychair site: https://www.easychair.org/account/signin.cgi?conf=ifm2016. 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). The conference proceedings will be published in Springer's Lecture Notes in Computer Science series.

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, to be indicated by the organizers, and present the paper.
Invited Speakers

Marsha Chechik (University of Toronto, Canada)
Laura Kovacs (Chalmers University of Technology, Sweden)
Reiner Hähnle (Technical University Darmstadt, Germany)

Workshops

iFM 2016 will be accompanied by a series of workshops. Further information is available from the conference website http://ifm2016.ru.is.
Conference Location

iFM 2016 is organized by the University of Reykjavik and will take place at the university campus in Reykjavik, the capital of Iceland.
 

Related Resources

ICFEM 2017   19th International Conference on Formal Engineering Methods
ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
CGDEIJ 2016   Computer Game Development and Education: An International Journal
SEKE 2017   The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
WCSE 2017   7th International Workshop on Computer Science and Engineering --Scopus & Ei compendex
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
ESEC/FSE 2017   11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
LPAR 2017   International Conferences on Logic for Programming, Artificial Intelligence and Reasoning
FormaliSE 2017   FME Workshop on Formal Methods in Software Engineering