<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="">Final Call for Workshops Proposals</div>
<div class=""><br class="">
</div>
<div class="">The 13th International Conference on integrated Formal Methods (iFM 2017)</div>
<div class=""><br class="">
</div>
<div class="">Turin, Italy</div>
<div class="">September 18th - 22nd, 2017</div>
<div class=""><a href="http://www.ifm2017.di.unito.it/" class="">http://www.ifm2017.di.unito.it/</a></div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class=""> *************************************************************************</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="">- Workshop proposals due: *Monday, 19 December, 2016*</div>
<div class=""><br class="">
</div>
<div class="">- Workshop proposals notification: Monday, January 16, 2017 </div>
<div class="">- Workshops: September 18-19, 2017</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">About iFM</div>
<div class="">=========</div>
<div class=""><br class="">
</div>
<div class="">iFM 2017 is concerned with how the application of formal methods may involve modelling different aspects of a system which are best expressed using different formalisms. Correspondingly, different analysis techniques may be used to examine different
system views, different kinds of properties, or simply in order to cope with the sheer complexity of the system. The iFM conference series seeks to further research into hybrid approaches to formal modelling and analysis; i.e., the combination of (formal and
semi-formal) methods for system development, regarding modelling and analysis, and covering 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="">Workshops can have the duration of one or two days. Prospective workshop organizers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.</div>
<div class=""><br class="">
</div>
<div class="">The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application.</div>
<div class=""><br class="">
</div>
<div class="">The workshops take place on September 18-19, 2017.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Proposal and Submission Guidelines</div>
<div class="">==================================</div>
<div class=""><br class="">
</div>
<div class="">Workshop proposals must be written in English, not exceed 5 pages with a reasonable font and margins, and be submitted in PDF format via email to the iFM workshop chairs, Wolfgang Ahrendt <<a href="mailto:ahrendt@chalmers.se" class="">ahrendt@chalmers.se</a>>
and Michael Lienhardt <<a href="mailto:michael.lienhardt@di.unito.it" class="">michael.lienhardt@di.unito.it</a>>.</div>
<div class=""><br class="">
</div>
<div class="">Proposals should include:</div>
<div class=""> - The name, the duration (1 or 2 days) and the preferred date of the proposed workshop</div>
<div class=""> - A short description of the workshop.</div>
<div class=""> - If applicable, a description of past versions of the workshop, including dates, organizers, submission and acceptance counts, and attendance.</div>
<div class=""> - The publicity strategy that will be used by the workshop organizers to promote the workshop.</div>
<div class=""> - The participant solicitation and selection process.</div>
<div class=""> - The target audience and expected number of participants.</div>
<div class=""> - Approximate budget proposal (see section Budget below for details).</div>
<div class=""> - The equipment and any other resource necessary for the organization of the workshop.</div>
<div class=""> - The name and short CV of the organizer(s).</div>
<div class=""> - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...).</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Organizers Responsibilities</div>
<div class="">===========================</div>
<div class=""><br class="">
</div>
<div class="">The scientific responsibility of organizing a workshop is on the workshop organizers. In particular, they are responsible for the following items:</div>
<div class=""> - A workshop description (200 words) for inclusion in the iFM site.</div>
<div class=""> - Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can integrate their pages into the main iFM pages.</div>
<div class=""> - Workshop proceedings, if any. If there is sufficient interest, the iFM 2017 workshop organizers may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (<a href="http://info.eptcs.org/" class="">http://info.eptcs.org/</a>)
for having a common volume dedicated to the workshops of iFM 2017.</div>
<div class=""> - Workshop publicity (possibly including call for papers, submission and review process).</div>
<div class=""> - Scheduling workshop activities in collaboration with the iFM workshop chairs.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Budget</div>
<div class="">======</div>
<div class=""><br class="">
</div>
<div class="">The iFM organization will provide registration and organizational support for the workshops (including linking from the conferences web sites, set-up of meeting space, on-line and on-site registration). Registration fees must be paid by all participants,
including organizers and invited guests.</div>
<div class=""><br class="">
</div>
<div class="">To cover lunches, coffee breaks and basic organizational expenses, all workshops will be required to charge a minimum participation fee (the precise amount is still to be determined). Each workshop may increase this fee to cover additional expenses
such as publication charges, student scholarships, costs for invited speakers, etc. All fees will be collected by STILEMA S.r.l. as part of the iFM registration. STILEMA S.r.l. will require the workshop fees as requested by each workshop organizer.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Evaluation Process</div>
<div class="">==================</div>
<div class=""><br class="">
</div>
<div class="">The proposals will be evaluated by the iFM organizing committee on the basis of their assessed benefit for prospective participants of iFM 2017. Prospective organizers may wish to consult the web pages of previous satellite events as examples:</div>
<div class=""><br class="">
</div>
<div class="">iFM 2016: <a href="http://en.ru.is/ifm/calls/" class="">http://en.ru.is/ifm/calls/</a></div>
<div class="">iFM 2014: <a href="http://ifm2014.cs.unibo.it/workshops.html" class="">
http://ifm2014.cs.unibo.it/workshops.html</a></div>
<div class="">iFM 2013: <a href="http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php" class="">
http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php</a></div>
<div class="">iFM 2012: <a href="http://ifm-abz.isti.cnr.it/styled-4/speakers.html" class="">
http://ifm-abz.isti.cnr.it/styled-4/speakers.html</a></div>
<div class="">iFM 2010: <a href="http://ifm2010.loria.fr/satellite.html" class="">
http://ifm2010.loria.fr/satellite.html</a></div>
<div class="">iFM 2009: <a href="http://www.formal-methods.de/ifm09/workshops.html" class="">
http://www.formal-methods.de/ifm09/workshops.html</a></div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Venue</div>
<div class="">=====</div>
<div class=""><br class="">
</div>
<div class="">iFM 2017 will take place at the Cavallerizza Reale in Turin, Italy. The Cavallerizza Reale is set in the center of Turin, close to many historical buildings of the city, like the Mole Antonelliana, the royal palace of Turin, Palazzo Madama, Palazzo
Carignano and the main building of the University.</div>
<div class=""><br class="">
</div>
<div class="">Further Information and Enquiries</div>
<div class="">=================================</div>
<div class=""><br class="">
</div>
<div class="">You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt <<a href="mailto:ahrendt@chalmers.se" class="">ahrendt@chalmers.se</a>> and Michael Lienhardt <<a href="mailto:michael.lienhardt@di.unito.it" class="">michael.lienhardt@di.unito.it</a>></div>
<div class=""><br class="">
</div>
—<br class="">
<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="">
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>