<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p><span style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: -webkit-standard; font-style: normal;
font-variant-caps: normal; letter-spacing: normal; orphans:
auto; text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none; font-weight: normal;"> </span></p>
<p dir="ltr" style="line-height: 1.2; margin-top: 0pt;
margin-bottom: 0pt; margin-right: 3pt;"><span style="font-size: 12pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"></span><br>
</p>
<span style="font-size: 12pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"></span><b
id="docs-internal-guid-19e7cc25-7fff-5277-4c23-5b74f2e544e0"
style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0);
font-family: -webkit-standard; font-style: normal;
font-variant-caps: normal; letter-spacing: normal; orphans: auto;
text-align: start; text-indent: 0px; text-transform: none;
white-space: normal; widows: auto; word-spacing: 0px;
-webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;
text-decoration: none; font-weight: normal;"><br>
<span style="font-size: 12pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">
</span>
<p dir="ltr" style="line-height: 1.2; margin-top: 0pt;
margin-bottom: 0pt; margin-right: 3pt;"><span style="font-size: 12pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">iFM 2019 - Call for Workshops and Tutorials</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">15th International Conference on integrated Formal Methods (iFM)</span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">2-6 December 2019</span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Bergen, Norway</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Web:</span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><a
href="http://ifm2019.hvl.no/" style="text-decoration: none;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> </span><span style="font-size: 9pt; font-family: Arial; color: rgb(0, 0, 255); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; -webkit-text-decoration-skip: none; vertical-align: baseline; white-space: pre-wrap;">http://ifm2019.hvl.no/</span></a></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Important Dates</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Submission of proposals: </span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> </span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">15th of March 2019</span><span style="font-size: 9pt; font-family: Arial; color: rgb(153, 0, 0); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> </span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Notification: </span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">29th of March 2019</span><span style="font-size: 9pt; font-family: Arial; color: rgb(153, 0, 0); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> </span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Pre-conference workshops/tutorials: </span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">2-3 December 2019 </span></p>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Main conference: </span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"><span class="Apple-tab-span" style="white-space: pre;"> </span></span><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;"> 4-6 December 2019</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">About iFM</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">iFM 2019 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.</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Besides the standard conference track and the Doctoral Symposium, iFM will host a number of workshops and tutorials related to the theme of the conference. The purpose of the workshops is to provide participants with a friendly, interactive atmosphere for presenting novel ideas and discussing their application. The goal of the tutorials is to enable the participants to familiarise themselves with theoretical aspects and application of formal methods.</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Prospective workshop/tutorial organisers are requested to follow the guidelines below and are encouraged to contact the workshop chairs if any questions arise.</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Proposal and Submission Guidelines</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">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, Martin Leucker (<a class="moz-txt-link-abbreviated" href="mailto:leucker@isp.uni-luebeck.de">leucker@isp.uni-luebeck.de</a>) and Violet Ka I Pun (<a class="moz-txt-link-abbreviated" href="mailto:vpu@hvl.no">vpu@hvl.no</a>).</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Workshop proposals should include:</span></p>
<ul style="margin-top: 0pt; margin-bottom: 0pt;">
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 12pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The name, the duration (1 or 2 days) and the preferred date of the proposed workshop</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">A short description of the workshop.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">If applicable, a description of past versions of the workshop, including dates, organisers, submission and acceptance counts, and attendance.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The publicity strategy that will be used by the workshop organisers to promote the workshop,</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The participant solicitation and selection process.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The target audience and expected number of participants.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Approximate budget proposal (see section Budget below for details).</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The equipment and any other resource necessary for the organisation of the workshop.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The name and short CV of the organiser(s).</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). </span></p></li>
</ul>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Tutorial proposals should include</span></p>
<br>
<ul style="margin-top: 0pt; margin-bottom: 0pt;">
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The name, the duration (1/2 or 1 day).</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">A short description of the tutorial.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Motivation for the tutorial (e.g., relation to conference)</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Overview of content, description of the aims, presentation style, potential/preferred prerequisite knowledge.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Intended audience and expected number of participants.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">List of readings, handbook, tools used in the tutorial.</span></p></li>
</ul>
<br>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Organisers Responsibilities</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The scientific responsibility of organising a workshop/tutorial is on the workshop/tutorial organisers. In particular, they are responsible for the following items:</span></p>
<ul style="margin-top: 0pt; margin-bottom: 0pt;">
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 12pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">A workshop/tutorial description (200 words) for inclusion in the iFM site.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Hosting and maintaining web pages to be linked from the iFM site. Workshop/tutorial organisers can integrate their pages into the main iFM pages.</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Scheduling workshop/tutorial activities in collaboration with the iFM workshop chairs. </span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Workshop publicity (possibly including call for papers, submission and review process).</span></p></li>
<li dir="ltr" style="list-style-type: disc; font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre;"><p dir="ltr" style="line-height: 1.38; margin-top: 0pt; margin-bottom: 12pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Workshop proceedings, if any. If there is sufficient interest, the iFM 2019 workshop organisers may contact the editor-in-chief of the Electronic Proceedings in Theoretical Computer Science (<a class="moz-txt-link-freetext" href="http://info.eptcs.org/">http://info.eptcs.org/</a>) for having a common volume dedicated to the workshops of iFM 2019.</span></p></li>
</ul>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Budget</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The iFM organisation will provide registration and organisational support for the workshops and tutorials (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 organisers and invited guests.</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">To cover lunches, coffee breaks and basic organisational 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 as part of the iFM registration. </span></p>
<br>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Evaluation Process</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">The proposals will be evaluated by the iFM organising committee on the basis of their assessed benefit for prospective participants of iFM 2019. </span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Venue</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">iFM 2019 will take place at the Western Norway University of Applied Sciences in Bergen, Norway. The campus is located around 10 mins by tram from the city centre.</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 700; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">Further Information and Enquiries</span></p>
<br>
<p dir="ltr" style="line-height: 1.38; margin-top: 0pt;
margin-bottom: 0pt; text-align: justify;"><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">You are welcome to contact the iFM workshop chairs Martin Leucker (</span><a
href="mailto:leucker@isp.uni-luebeck.de"
style="text-decoration: none;"><span style="font-size: 9pt; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; -webkit-text-decoration-skip: none; vertical-align: baseline; white-space: pre-wrap;">leucker@isp.uni-luebeck.de</span></a><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">) and Violet Ka I Pun (</span><a
href="mailto:vpu@hvl.no" style="text-decoration: none;"><span style="font-size: 9pt; font-family: Arial; color: rgb(17, 85, 204); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: underline; -webkit-text-decoration-skip: none; vertical-align: baseline; white-space: pre-wrap;">vpu@hvl.no</span></a><span style="font-size: 9pt; font-family: Arial; color: rgb(69, 69, 69); background-color: transparent; font-weight: 400; font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-variant-east-asian: normal; font-variant-position: normal; text-decoration: none; vertical-align: baseline; white-space: pre-wrap;">).</span></p>
<br>
</b><br class="Apple-interchange-newline">
<pre class="moz-signature" cols="72">--
------------------------------------------------------------------------
| Martin Leucker |
| Institute for Software Engineering and Programming Languages |
| University of Luebeck |
| Germany |
------------------------------------------------------------------------
| NEW NUMBER: | Email: <a class="moz-txt-link-abbreviated" href="mailto:leucker@isp.uni-luebeck.de">leucker@isp.uni-luebeck.de</a> |
| Tel.: +49/451/3101 6500 | Web: <a class="moz-txt-link-freetext" href="http://www.isp.uni-luebeck.de">http://www.isp.uni-luebeck.de</a> |
------------------------------------------------------------------------
</pre>
</body>
</html>