<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">
<div style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<font size="3"><span style="font-size: 12pt;">Dear all,</span></font><br>
</div>
<div style="color: rgb(33, 33, 33); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 15px;">
<div id="x_x_divtagdefaultwrapper"><span id="x_x_divtagdefaultwrapper">
<div id="x_x_divtagdefaultwrapper"><span id="x_x_divtagdefaultwrapper">
<div id="x_x_divtagdefaultwrapper"><span id="x_x_divtagdefaultwrapper">
<div id="x_x_divtagdefaultwrapper"><span id="x_x_divtagdefaultwrapper">
<div id="x_x_divtagdefaultwrapper"><font color="black" style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt;"><span id="x_x_divtagdefaultwrapper" style="font-size: 12pt;">
<div style="margin-top: 0px; margin-bottom: 0px;"><br>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;">We are now at the second tutorial in the Tutorial Series of the FME Teaching Committee. The idea is to increase the awareness and sharing of tools and techniques used for teaching formal methods. The tutorials
are held online via zoom. We record (whenever the speaker agrees) these presentations and collect them on the FME Teaching Committee website: <span style="font-size: 12pt;"><a href="https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/" target="_blank" rel="noopener noreferrer" class="x_x_OWAAutoLink" id="LPlnk268902" previewremoved="true">https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/</a>. </span>
<div id="LPBorder_GT_16352361691380.4386685532902298" style="margin-bottom: 20px; overflow: auto; width: 759px;">
<table id="LPContainer_16352361691320.7578656253186897" cellspacing="0" style="width: 683.09375px; overflow: auto; padding-top: 20px; padding-bottom: 20px; margin-top: 20px; border-top-width: 1px; border-top-style: dotted; border-top-color: rgb(200, 200, 200); border-bottom-width: 1px; border-bottom-style: dotted; border-bottom-color: rgb(200, 200, 200);">
<tbody>
<tr valign="top" style="border-spacing: 0px;">
<td id="x_x_ImageCell_16352361691330.540239666088705" colspan="1" style="width: 250px; padding-right: 20px;">
<div id="LPImageContainer_16352361691330.17351259432864008" style="height: 250px; margin: auto; display: table; width: 250px;">
<a href="https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/" target="_blank" rel="noopener noreferrer" id="LPImageAnchor_16352361691330.705332394761596" style="display: table-cell; text-align: center;"><img id="LPThumbnailImageID_16352361691330.20471587870740227" width="250" height="250" style="display: inline-block; max-width: 250px; max-height: 250px; height: 250px; width: 250px; border-width: 0px; vertical-align: bottom;" src="https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/featured.png"></a></div>
</td>
<td id="x_x_TextCell_16352361691370.7716793526567943" colspan="2" style="vertical-align: top; padding: 0px; position: relative;">
<div id="LPRemovePreviewContainer_16352361691370.8256067421107862"></div>
<div id="LPTitle_16352361691370.7614705766824514" style="top: 0px; color: rgb(75, 137, 186); font-size: 21px; font-family: wf_segoe-ui_light, "Segoe UI Light", "Segoe WP Light", "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; line-height: 21px;">
<a href="https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/" target="_blank" rel="noopener noreferrer" id="LPUrlAnchor_16352361691370.5416760816259406" style="text-decoration: none;">Tutorial Series of the FME Teaching
Committee | Formal Methods Teaching Committee</a></div>
<div id="LPMetadata_16352361691370.3540143503666967" style="margin: 10px 0px 16px; color: rgb(102, 102, 102); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 14px; line-height: 14px;">
fme-teaching.github.io</div>
<div id="LPDescription_16352361691380.39619515081102763" style="color: rgb(102, 102, 102); font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont; font-size: 14px; line-height: 20px; max-height: 100px; overflow: hidden;">
Schedule for FMTea tutorials In the FME Teaching Committee, we are launching a new tutorial series, planned to be held monthly. We aim to increase the awareness and sharing of tools and techniques used for teaching formal methods. The tutorial will be
held online via zoom. We will record (whenever the speaker agrees) these presentations and collect them on the FME Teaching Committee website. Below you’ll find the list of speakers who agreed to share their FM teaching insight.</div>
</td>
</tr>
</tbody>
</table>
</div>
</div>
</span></font><font face="Calibri,Helvetica,sans-serif,Helvetica,EmojiFont,Apple Color Emoji,Segoe UI Emoji,NotoColorEmoji,Segoe UI Symbol,Android Emoji,EmojiSymbols">
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<br>
</div>
<div style="color: rgb(0, 0, 0); font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<font style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt;">We are very happy to announce our second speaker in the series: </font>Dr Ran Ettinger (Ben-Gurion University, Israel, <a href="https://www.cs.bgu.ac.il/~ranger/" target="_blank" rel="noopener noreferrer" class="x_x_OWAAutoLink" id="LPlnk769952" previewremoved="true">https://www.cs.bgu.ac.il/~ranger/</a>).
Ran's lecture is entitled </div>
<div style="color: rgb(0, 0, 0); font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<br>
</div>
<div style="margin-top: 0px; margin-bottom: 0px;"><b>Teaching Cantor’s theorem, a pumping lemma, and the derivation of a heapsort algorithm using Dafny</b></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<br>
</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<font size="3"><span style="font-size: 12pt;">This tutorial will take place this week on Friday (October 29), at 3pm CET. The zoom coordinates are below. The online event is planned to take about one hour, give or take.</span></font></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<br>
</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
Everyone welcome!!</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<br>
</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
With best regards,</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
Luigia Petre</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
on behalf of the FME Teaching Committee</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<br>
</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
PS: The recording of Sandrine's lecture last month is already in the webpage <a href="https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/" target="_blank" rel="noopener noreferrer" class="x_x_OWAAutoLink" id="LPlnk39057" previewremoved="true">https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/</a>,
where Ran's will also appear soon.</div>
<br>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<br>
</div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>Luigia Petre is inviting you to a scheduled Zoom meeting.</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i><br>
</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>Topic: FMTea Tutorial Series</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>Time: This is a recurring meeting Meet anytime</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i><br>
</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>Join Zoom Meeting</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>https://aboakademi.zoom.us/j/64254430116</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i><br>
</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>Meeting ID: 642 5443 0116</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i><br>
</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>Join by SIP</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>64254430116@109.105.112.236</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>64254430116@109.105.112.235</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i><br>
</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>Join by H.323</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>109.105.112.236</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>109.105.112.235</i></div>
<div style="color: black; font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 12pt; margin-top: 0px; margin-bottom: 0px;">
<i>Meeting ID: 642 5443 0116</i></div>
<div><i><br>
</i></div>
</font></div>
</span></div>
</span></div>
</span></div>
</span></div>
</div>
<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>