Skip to Content.
Sympa Menu

coq-club - [Coq-Club] iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino)


Chronological Thread 
  • From: Ingrid Chieh Yu <ingridcy AT ifi.uio.no>
  • To: "coq-club AT inria.fr" <coq-club AT inria.fr>
  • Subject: [Coq-Club] iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino)
  • Date: Fri, 30 Sep 2016 13:24:06 +0000
  • Accept-language: en-GB, en-US
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ingridcy AT ifi.uio.no; spf=None smtp.mailfrom=ingridcy AT ifi.uio.no; spf=None smtp.helo=postmaster AT mail-out01.uio.no
  • Ironport-phdr: 9a23:Hxv4HhxHJojIWcvXCy+O+j09IxM/srCxBDY+r6Qd0uMTIJqq85mqBkHD//Il1AaPBtSBragdwLSO++C4ACpbvsbH6ChDOLV3FDY7yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9dazJHduYhMOukuu25pf7YgNShTP7b6k4ZEG9qhyUvc0Li6NjLLwww13HuC0bVf5RwDZJI12Jnhq0zcex8Z4rwjkY7/Mn+NRBXa7rV6U2TPpFDTNgNWdjt56jjgXKUQbavihUaW4RiBcdWwU=

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



  • [Coq-Club] iFM 2017: Preliminary Call for Papers (13th Intl. Conference on integrated Formal Methods, Torino), Ingrid Chieh Yu, 09/30/2016

Archive powered by MHonArc 2.6.18.

Top of Page