<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="">Due to a number of requests, we have generously extended the deadline</div>
<div class="">for iFM. Here are the new dates:</div>
<div class=""><br class="">
</div>
<div class="">NEW Abstract submission: Tuesday, April 20, 2017</div>
<div class="">NEW Paper submission: Tuesday, April 27, 2017</div>
<div class="">NEW Notification: Friday, June 2, 2017</div>
<div class=""><br class="">
</div>
<div class="">Please find the full updated call for papers below.</div>
<div class=""><br class="">
</div>
<div class="">We are looking forward to receiving your contributions!</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">CALL FOR PAPERS - EXTENDED DEADLINES</div>
<div class="">13th International Conference on integrated Formal Methods (iFM 2017)</div>
<div class="">=====================================================================</div>
<div class=""><br class="">
</div>
<div class="">Website: <a href="http://ifm2017.di.unito.it/" class="">http://ifm2017.di.unito.it/</a></div>
<div class="">Twitter: <a href="https://twitter.com/iFMconf" class="">https://twitter.com/iFMconf</a>, @iFMconf</div>
<div class="">Submission: <a href="https://easychair.org/conferences/?conf=ifm2017" class="">
https://easychair.org/conferences/?conf=ifm2017</a></div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Important Dates</div>
<div class="">===============</div>
<div class=""><br class="">
</div>
<div class="">NEW Abstract submission: Tuesday, April 20, 2017</div>
<div class="">NEW Paper submission: Tuesday, April 27, 2017</div>
<div class="">NEW Notification: Friday, June 2, 2017</div>
<div class="">Camera-ready copy: Tuesday, June 11, 2017</div>
<div class="">Conference: September 20-22, 2017</div>
<div class=""><br class="">
</div>
<div class="">Deadlines expire at 23:59 American Samoa Time on the dates displayed above.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Objectives and Scope</div>
<div class="">====================</div>
<div class=""><br class="">
</div>
<div class="">Applying formal methods may involve the usage of different formalisms and </div>
<div class="">different analysis techniques to validate a system, either because individual </div>
<div class="">components are most amenable to one formalism or technique, because one is </div>
<div class="">interested in different properties of the system, or simply to cope with the </div>
<div class="">sheer complexity of the system. The iFM conference series seeks to further </div>
<div class="">research into hybrid approaches to formal modeling and analysis; i.e., the </div>
<div class="">combination of (formal and semi-formal) methods for system development, </div>
<div class="">regarding both modeling and analysis. The conference covers all aspects from </div>
<div class="">language design through verification and analysis techniques to tools and their</div>
<div class="">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 modeling 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 </div>
<div class=""> 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="">=====================</div>
<div class=""><br class="">
</div>
<div class="">iFM 2017 solicits high quality papers reporting research results and/or </div>
<div class="">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 </div>
<div class=""> experimental results where applicable. Submissions will be judged on the </div>
<div class=""> basis of significance, relevance, correctness, originality, and clarity. </div>
<div class=""> Limit: 15 pages.</div>
<div class="">- Case study papers report on applications of formal methods, preferably in a </div>
<div class=""> real world setting. A case study paper need not introduce novel techniques or</div>
<div class=""> tools, but it must include a rigorous empirical evaluation and potentially be</div>
<div class=""> of interest to practitioners.</div>
<div class=""> Limit: 15 pages.</div>
<div class="">- Regular tool papers present a new tool or novel extensions to an existing</div>
<div class=""> tool. They should provide a short description of the theoretical foundations, </div>
<div class=""> while focusing on the tool's design and implementation concerns, as well as </div>
<div class=""> empirical evaluation of its practical capabilities. Papers that present </div>
<div class=""> extensions to existing tools should clearly focus on the improvements or </div>
<div class=""> extensions with respect to previously published versions of the tool. Authors</div>
<div class=""> are strongly encouraged to make their tools publicly available, preferably on</div>
<div class=""> the web.</div>
<div class=""> Limit: 15 pages.</div>
<div class="">- Tool demonstration papers focus on the usage aspects of tools. Foundations </div>
<div class=""> and empirical evaluation are not required, but the paper should explain why</div>
<div class=""> the tool is relevant for the community, and, in particular, for </div>
<div class=""> practitioners. As with regular tool papers, authors are strongly encouraged</div>
<div class=""> to make their tools publicly available, preferably on the web.</div>
<div class=""> Limit: 8 pages.</div>
<div class=""><br class="">
</div>
<div class="">Page limits include bibliography and any appendices. All submissions must be </div>
<div class="">original, unpublished, and not submitted for publication elsewhere. Each paper</div>
<div class="">will undergo a thorough review process.</div>
<div class=""><br class="">
</div>
<div class="">Submissions should be made using the iFM 2017 Easychair website: </div>
<div class=""><a href="https://easychair.org/conferences/?conf=ifm2017" class="">https://easychair.org/conferences/?conf=ifm2017</a></div>
<div class=""><br class="">
</div>
<div class="">Submissions must be in PDF format, using the Springer LNCS style files; we </div>
<div class="">suggest to use the LaTeX2e package (the llncs.cls class file, available in </div>
<div class="">llncs2e.zip and the typeinst.dem available in typeinst.zip as a template for </div>
<div class="">your contribution). The conference proceedings will be published in Springer's</div>
<div class="">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 </div>
<div class="">prepared to sign a copyright transfer statement. At least one author of each </div>
<div class="">accepted paper must register to the conference by the early registration date,</div>
<div class="">to be indicated by the organizers, and present the paper.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Workshops and PhD Symposium</div>
<div class="">===========================</div>
<div class="">iFM 2017 will be accompanied by a series of workshops and a PhD Symposium. </div>
<div class="">Further information is available from the conference website:</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=""><br class="">
</div>
<div class="">Conference Location</div>
<div class="">===================</div>
<div class="">iFM 2017 is organized by the University of Turin and will take place in Turin, </div>
<div class="">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>