<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p></p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"><span style="font-size: 13.3333px;">For the first time ever, the FM symposium hosts a tutorial
papers track: </span><a href="https://www.fm24.polimi.it/?page_id=310" target="_blank" rel="noopener noreferrer" id="LPlnk599944" tabindex="-1" disabled="true" style="font-size: 13.3333px;">https://www.fm24.polimi.it/?page_id=310</a>. </span></p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">W<span class="x_x_contextualExtensionHighlight x_x_ms-font-color-themePrimary x_x_ms-border-color-themePrimary x_x_ident_179_236" tabindex="-1" disabled="true">e
invite you to submit your tutorial contributions here!</span></span></p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"><br>
</span></p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Important Dates (Tutorial Papers Only)</span><span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"><br>
</span></p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
<br>
</p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"></span></p>
<table cellspacing="0" cellpadding="0" class="x_x_x_x_t1" style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; border-collapse: collapse; table-layout: fixed;">
<tbody>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px; width: 198px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Tutorial Paper Submission</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px; width: 209px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">April 19th, 2024 (Fri)</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px; width: 82px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">23:59 AoE</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Preliminary Decision</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">May 24th, 2024 (Fri)</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">23:59 AoE</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Revised Version Due</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">June 9th, 2024 (Sun)</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">23:59 AoE</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Final Decision</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">June 24th, 2024 (Mon)</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">23:59 AoE</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Final Paper Due</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">July 1st, 2024 (Mon)</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">23:59 AoE</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Conference</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">September 9th – 13th, 2024</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><br>
</p>
</td>
</tr>
</tbody>
</table>
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Tutorial papers present ideas with a focus on pedagogy over technical</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">innovation. By being written in a broadly-accessible way, a tutorial will</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">clarify important ideas, bring new researchers into the community, and serve</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">as a bridge to practitioners. A good tutorial paper is not expected to have</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">any technical innovation at all. Instead, we will evaluate it on its pedagogy:</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Is it crisp and clear? Is it readable? Does it help build good intuitions? Is</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">it comfortable to follow? Will it help useful ideas reach a much broader</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">audience?</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">While tutorials about tools are a canonical fit, tutorials about techniques</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">are also welcome. Prospective authors who want to suggest tutorials of other</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">kinds are welcome to contact the chairs to get guidance. In general, we are</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">very open-minded about what tutorials are about, provided they are about</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">topics of interest to the formal methods community.</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Tutorial papers can be at most 22 pages in LNCS format. There is no minimum</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">length; the tutorial should be as long as necessary to be effective, but</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">should avoid filler. Tools should include links and descriptions of how to run</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">them. Papers are welcome to include an appendix, which reviewers will read at</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">their discretion. (We understand that detailed screen-shots, tool</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">descriptions, etc., are best relegated to an appendix, and reviewers will make</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">a good-faith effort to examine these.) Authors of a paper need not be the</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">creators of the technical concepts it describes. The paper must provide clear</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">references to the original technical content. The presentation must be novel</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">relative to the published literature.</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Accepted papers will be published in the conference proceedings. Authors of</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">accepted papers will be given a presentation slot in the tutorials period</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">preceding the main conference. The tutorial paper submission should specify</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">the desired length of the presentation, which can be a half or full day. They</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">will also be invited (but are not required) to give a five-minute presentation</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">during the main conference, to give their tutorial wider notice.</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Authors of tutorials are strongly encouraged to submit at least preliminary</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">versions of runnable/machine-readable artifacts to accompany their papers,</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">where appropriate. Authors of preliminarily accepted tutorials are strongly</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">encouraged to submit an artifact for evaluation by the FM 2024 Artifact</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Evaluation Committee after the preliminary notification for their tutorial.</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Authors can also request a tutorial presentation slot without an accompanying</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">paper by submitting a short tutorial proposal instead. Priority will be given,</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">however, to tutorials accompanied by full tutorial papers.</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Submissions</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Submit your papers at </span><a href="https://easychair.org/conferences/?conf=fm24" target="_blank" rel="noopener noreferrer" id="LPlnk547374" tabindex="-1" disabled="true" style="font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">https://easychair.org/conferences/?conf=fm24</a><span style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;"></span><span style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;"></span><span style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;"></span>
<p style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">
<a href="https://easychair.org/conferences/?conf=fm24" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true" style="font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"></a></p>
<p style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Tutorial Track Committee</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
</p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
</p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"><br>
</span></p>
<p style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"></span></p>
<table cellspacing="0" cellpadding="0" class="x_x_x_x_t1" style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; border-collapse: collapse;">
<tbody>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><b><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Member(s)</span></b></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><b><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Affiliation</span></b></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><b><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Role</span></b></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://luigia-petre.github.io/luigiapetre/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Luigia
Petre</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Åbo Akademi University, Finland</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Co-Chair</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://cs.brown.edu/~sk/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Shriram
Krishnamurthi</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Brown University, USA</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Co-Chair</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;"><a href="https://software.imdea.org/people/anindya.banerjee/" target="_blank" rel="noopener noreferrer" class="x_x_OWAAutoLink" tabindex="-1" disabled="true">Anindya
Banerjee</a></span></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">IMDEA Software Institute, Spain</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://brijeshdongol.github.io/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Brijesh
Dongol</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">University of Surrey, UK</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://people.csail.mit.edu/dnj/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Daniel
Jackson</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">MIT, USA</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://davidchristiansen.dk/index.html" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">David
Thrane Christiansen</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Lean FRO, LLC</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.tue.nl/en/research/researchers/jan-friso-groote" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Jan
Friso Groote</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Eindhoven University of Technology, Netherlands</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://limperg.de/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true" title="https://limperg.de/
Cmd+Click or tap to follow the link"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Jannis
Limperg</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">University of Munich (LMU), Germany</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.jeroenkeiren.nl/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Jeroen
Keiren</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Eindhoven University of Technology, Netherlands</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.universiteitleiden.nl/en/staffmembers/marcello-bonsangue#tab-1" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Marcello
Bonsangue</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Leiden University, Netherlands</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.linkedin.com/in/markus-kuppe-643559180/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Markus
Alexander Kuppe</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Microsoft Research, USA</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.isti.cnr.it/it/chi-siamo/people-detail/361/Maurice_Henri_ter_Beek" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true" title="https://www.isti.cnr.it/it/chi-siamo/people-detail/361/Maurice_Henri_ter_Beek
Cmd+Click or tap to follow the link"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Maurice
ter Beek</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">CNR-ISTI, Pisa, Italy</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.microsoft.com/en-us/research/people/nbjorner/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Nikolaj
Bjorner</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Microsoft Research, USA</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.maynoothuniversity.ie/faculty-science-engineering/our-people/rosemary-monahan" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Rosemary
Monahan</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Maynooth University, Ireland</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.au.dk/vis/person/sha@ece.au.dk" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Stefan
Hallerstede</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Aarhus University, Denmark</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://www.linkedin.com/in/thierry-lecomte-19695b/?originalSubdomain=fr" target="_blank" rel="noopener noreferrer" title="https://www.linkedin.com/in/thierry-lecomte-19695b/?originalSubdomain=fr
Cmd+Click or tap to follow the link" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Thierry
Lecomte</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">CLEARSY, France</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
<tr>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p2" style="margin-right: 0px; margin-left: 0px;"><span class="x_x_x_x_s1"><a href="https://cs.brown.edu/~tbn/" target="_blank" rel="noopener noreferrer" tabindex="-1" disabled="true"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Tim
Nelson</span></a></span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">Brown University, USA</span></p>
</td>
<td valign="top" class="x_x_x_x_td1" style="border-style: solid; border-width: 1px; border-color: rgb(154, 154, 154); padding: 1px 5px;">
<p class="x_x_x_x_p1" style="margin-right: 0px; margin-left: 0px;"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 9pt;">PC Member</span></p>
</td>
</tr>
</tbody>
</table>
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<br style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">
<p style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">
<span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 10pt;">We look forward to your contributions,</span></p>
<p style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">
<span style="font-family: "Calibri Light", "Helvetica Light", sans-serif, serif, EmojiFont; font-size: 10pt;">Luigia and Shriram</span></p>
<br style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">FM 2024 is the 26th international symposium in a series organized by Formal</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Methods Europe (FME). The topics covered include the development and</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">application of formal methods in a wide range of domains including software,</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">cyber-physical systems and integrated computer-based systems.</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">FM 2024 is organised during September 9-13, 2024, at Politecnico di Milano, in</span><br style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">
<span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">Italy: </span><a href="https://www.fm24.polimi.it/" target="_blank" rel="noopener noreferrer" id="LPlnk240077" tabindex="-1" disabled="true" style="font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">https://www.fm24.polimi.it/</a><span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;">.</span><span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"></span><span style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;"></span><span style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 16px;"></span>
<div><span style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 13.3333px;"><br>
</span></div>
<br>
<p></p>
<p><br>
</p>
<div id="Signature">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; color: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">
<p><span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">__</span><br style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">
<span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">Luigia Petre, Docent, PhD</span><br style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">
<span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">Faculty of Science and Engineering</span><br style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">
<span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">Åbo Akademi University, Finland</span><br style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">
<span style="font-family:Helvetica; font-size:12px; orphans:2; widows:2">www.users.abo.fi/lpetre</span><br>
</p>
</div>
</div>
</div>
</body>
</html>