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 15 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 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 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 are expected to 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.