<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="">********************************************************************************</div>
<div class=""> iFM 2017 - CALL FOR PARTICIPATION</div>
<div class=""> 13th International Conference on integrated Formal Methods</div>
<div class=""><br class="">
</div>
<div class=""> 18-22 September 2017, Turin, Italy</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="">********************************************************************************</div>
<div class=""><br class="">
</div>
<div class="">We warmly invite you to take part in the 13th International Conference on </div>
<div class="">integrated Formal Methods, which will take place at Turin University between </div>
<div class="">Monday 18 and Friday 22 September, 2017.</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., </div>
<div class="">the 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=""><br class="">
</div>
<div class="">VENUE</div>
<div class="">=====</div>
<div class="">University of Turin, Italy</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">REGISTRATION</div>
<div class="">============</div>
<div class=""><br class="">
</div>
<div class="">* Registration is now open at http: <a href="http://ifm2017.di.unito.it/registration.php" class="">
http://ifm2017.di.unito.it/registration.php</a></div>
<div class="">* Early registration deadline: Monday, July 24, 2017</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">RESEARCH PROGRAM</div>
<div class="">================</div>
<div class=""><br class="">
</div>
<div class="">Preliminary program is available at <a href="http://ifm2017.di.unito.it/program.php" class="">
http://ifm2017.di.unito.it/program.php</a></div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">INVITED SPEAKERS</div>
<div class="">================</div>
<div class=""><br class="">
</div>
<div class="">* Jane Hillston (University of Edinburgh, UK)</div>
<div class="">* André Platzer (Carnegie Mellon University, USA)</div>
<div class="">* Matrin Vechev (ETH Zurich, Switzerland)</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">DOCTORAL SYMPOSIUM</div>
<div class="">==================</div>
<div class="">The doctoral symposium offers an excellent opportunity to PhD students and young </div>
<div class="">researchers to present their work in an international setting, and to get </div>
<div class="">feedback from senior researchers in the field.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">CO-LOCATED WORKSHOPS</div>
<div class="">====================</div>
<div class=""><br class="">
</div>
<div class="">* FMICS-AVoCS: International Workshop on Formal Methods for Industrial Critical </div>
<div class=""> Systems (FMICS) and Automated Verification of Critical Systems (AVoCS)</div>
<div class=""><br class="">
</div>
<div class="">* ALP4IoT: Architectures, Languages and Paradigms for IoT</div>
<div class=""><br class="">
</div>
<div class="">* WAO: Actors and Active Objects</div>
<div class=""><br class="">
</div>
<div class="">* FVAV: Formal Verification of Autonomous Vehicles</div>
<div class=""><br class="">
</div>
<div class="">* PrePost: Pre- and post-deployment verification techniques</div>
<div class=""><br class="">
</div>
<div class="">* V2CPS: Verification and Validation of Cyber-Physical Systems</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">UPDATES</div>
<div class="">=======</div>
<div class=""><br class="">
</div>
<div class="">For up-to-date information, please check iFM's website and Twitter:</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 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>