[TYPES/announce] [iFM'17] Final CFP for the International Conference on integrated Formal Methods 2017

[Christoph Seidl]

FINAL CALL FOR PAPERS
13th International Conference on integrated Formal Methods (iFM 2017)
=====================================================================

Website: http://ifm2017.di.unito.it/
Twitter: https://twitter.com/iFMconf, @iFMconf
Submission: https://easychair.org/conferences/?conf=ifm2017


Important Dates
===============

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

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 modeling 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 website:
https://easychair.org/conferences/?conf=ifm2017

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 and PhD Symposium
===========================
iFM 2017 will be accompanied by a series of workshops and a PhD Symposium.
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.


-- 
Dr.-Ing. 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 Modelshttp://www.deltaecore.org