<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div class=""><br class="">
</div>
<div class="">CALL FOR PAPERS</div>
<div class=""><br class="">
</div>
<div class="">************************************************************************</div>
<div class=""><br class="">
</div>
<div class="">13th International Conference on</div>
<div class="">integrated Formal Methods (iFM 2017)</div>
<div class=""><br class="">
</div>
<div class=""><a href="http://ifm2017.di.unito.it/" class="">http://ifm2017.di.unito.it/</a></div>
<div class=""><br class="">
</div>
<div class="">Turin, Italy, 20-22 September 2017</div>
<div class=""><br class="">
</div>
<div class="">************************************************************************</div>
<div class=""><br class="">
</div>
<div class="">Important dates</div>
<div class=""><br class="">
</div>
<div class=""> Abstract submission: Tuesday March 28</div>
<div class=""> Paper submission: Tuesday April 4</div>
<div class=""> Notification: Friday May 26</div>
<div class=""> Camera-ready copy: Tuesday June 11</div>
<div class=""> Conference: September 20-22</div>
<div class=""><br class="">
</div>
<div class="">Deadlines expire at 23:59 anywhere on earth on the dates displayed above.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Objectives and Scope</div>
<div class=""><br class="">
</div>
<div class="">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.</div>
<div class=""><br class="">
</div>
<div class="">Areas of interest include but are not limited to:</div>
<div class=""><br class="">
</div>
<div class="">- Formal and semi-formal modelling notations</div>
<div class="">- Combining formal methods</div>
<div class="">- Integration of formal methods into software engineering practice</div>
<div class="">- Program verification, model checking, and static analysis</div>
<div class="">- Runtime analysis, monitoring, and testing</div>
<div class="">- Program synthesis</div>
<div class="">- Analysis and synthesis of hybrid, embedded, probabilistic, distributed, or concurrent systems</div>
<div class="">- Model learning</div>
<div class="">- Theorem proving, decision procedures, SAT and SMT solving </div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Submission Guidelines</div>
<div class=""><br class="">
</div>
<div class="">iFM 2017 solicits high quality papers reporting research results and/or experience reports related to the overall theme of method integration.</div>
<div class=""><br class="">
</div>
<div class="">We solicit papers in the following categories:</div>
<div class=""><br class="">
</div>
<div class="">- 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.</div>
<div class="">- 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.</div>
<div class="">- 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.</div>
<div class="">- 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.</div>
<div class=""><br class="">
</div>
<div class="">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.</div>
<div class=""><br class="">
</div>
<div class="">Submissions should be made using the iFM 2017 Easychair site: <a href="https://easychair.org/conferences/?conf=ifm2017" class="">
https://easychair.org/conferences/?conf=ifm2017</a> 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 the Formal Methods subline of Springer's Lecture Notes in Computer Science series.</div>
<div class=""><br class="">
</div>
<div class="">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.</div>
<div class=""><br class="">
</div>
<div class="">Invited Speakers</div>
<div class=""><br class="">
</div>
<div class="">-Jane Hillston (University of Edinburgh, UK)</div>
<div class=""><br class="">
</div>
<div class="">-André Platzer (CMU, USA)</div>
<div class=""><br class="">
</div>
<div class="">-Matrin Vechev (ETH Zurich, Switzerland)</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Best Paper Prizes</div>
<div class=""><br class="">
</div>
<div class="">We are pleased to have received generous sponsorship from Springer for two Best Paper awards of 500 EUR each. These awards will be decided by the Programme Committee, and will be announced and awarded at the conference.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Workshops</div>
<div class=""><br class="">
</div>
<div class="">iFM 2017 will be accompanied by a series of workshops. Further information is available from the conference website
<a href="http://ifm2017.di.unito.it/" class="">http://ifm2017.di.unito.it/</a></div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Conference Location</div>
<div class=""><br class="">
</div>
<div class="">iFM 2017 is organized by the University of Turin and will take place in Turin, Italy</div>
<div class=""><br class="">
</div>
<div apple-content-edited="true" class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
—</div>
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
Ingrid Chieh Yu</div>
<div style="color: rgb(0, 0, 0); letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">
Associate professor<br class="">
Dept. of Informatics, University of Oslo<br class="">
Tel + 47 2284 5525, email <a href="mailto:ingridcy@ifi.uio.no" class="">ingridcy@ifi.uio.no</a><br class="">
<br class="">
</div>
</div>
</div>
</div>
<br class="">
</body>
</html>