iFM 2018 solicits high quality papers reporting research results and/or experience reports related to the overall theme of formal method integration. We accept papers in the following categories:

Regular papers (limit 18 pages) on

- original scientific research results

- tools, their foundation and evaluations

- applications of formal methods, including rigourous evaluations

Short papers (limit 8 pages) on

- any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit

Page limits do not include the list of bibliographic references, which can take up to 2 additional pages. All submissions must be original,
unpublished, and not submitted for publication elsewhere.  Each paper will undergo a thorough review process.  Submissions will be judged on
the basis of significance, relevance, correctness, originality, and clarity.

Submissions should be made using the iFM 2018 Easychair site: https://easychair.org/conferences/?conf=ifm2018

Submissions must be in PDF format, using the Springer LNCS style files. The conference proceedings will be published in Springer's Lecture Notes in Computer Science series. The Springer copyright form which must be signed by authors is available here.

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.

iFM Copyright Form

The Springer copyright form which must be signed by authors is available here.