[TYPES/announce] iFM 2017 - Preliminary CFP for the International Conference on integrated Formal Methods

[Christoph Seidl]

13th International Conference on integrated Formal Methods (iFM 2017)

http://ifm2017.di.unito.it/


PRELIMINARY CALL FOR PAPERS


Important dates

     Abstract submission: Tuesday March 28
     Paper submission: Tuesday April 4
     Notification: Friday May 26
     Camera-ready copy: Tuesday June 11
     Conference: September 20-22

Deadlines expire at 23:59 anywhere on earth on the dates displayed above.


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
- Combining formal methods
- Integration of formal methods into software engineering practice
- Program verification, model checking, and static analysis
- Runtime analysis, monitoring, and testing
- Program synthesis
- Analysis and synthesis of hybrid, embedded, probabilistic, 
distributed, or concurrent systems
- Model learning
- Theorem proving, decision procedures, SAT and SMT solving


Submission Guidelines

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.

Page limits include bibliography and any appendices. All submissions 
must be original, unpublished, and not submitted for publication 
elsewhere. Each paper will undergo a thorough review process.

Submissions should be made using the iFM 2017 Easychair site: 
https://easychair.org/conferences/?conf=ifm2017 (NOT YET OPENED). 
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 registration date, to be indicated by the organizers, and present 
the paper.


Workshops

iFM 2017 will be accompanied by a series of workshops. Further 
information is available from the conference website 
http://ifm2017.di.unito.it/


Conference Location

iFM 2017 is organized by the University of Turin and will take place in 
Turin, Italy


-- 
Dipl.-Inf. Christoph Seidl
Wissenschaftlicher Mitarbeiter
Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig

Tel.:(+49) 531 391-2296

E-Mail: c.seidl at tu-braunschweig.de
Skype: christoph.seidl.tud

Besucheradresse:
Raum IZ 417 (TU Braunschweig)
Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

DeltaEcore - Plug & Play Variability for Models http://www.deltaecore.org