<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<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><span style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;">D</span><span style="font-family: Calibri, Helvetica, sans-serif; font-size: 12pt;">ear all, </span><br>
</p>
<div style="color: rgb(0, 0, 0);">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<p><br>
</p>
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Helvetica,sans-serif">
<div style="color:rgb(0,0,0)">
<div>
<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>In the FME Teaching Committee we are launching a new tutorial series, planned to be held monthly. The idea is 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:
<a href="https://urldefense.com/v3/__https://fme-teaching.github.io__;!!IBzWLUs!BUOXqdJRwq8YlIn8lyoZ3ygltDFj3E9SkoaUN0ciUnrk-qsb-s24vbmJIJfkBiqbTWvfknuzD1ijZA$" class="OWAAutoLink" id="LPlnk791652" previewremoved="true">
https://fme-teaching.github.io</a>.</p>
<div id="LPBorder_GT_16294461128280.5505421125853466" style="margin-bottom:20px; overflow:auto; width:100%; text-indent:0px">
<table id="LPContainer_16294461128260.5437858814943202" cellspacing="0" style="width:90%; background-color:rgb(255,255,255); 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="ImageCell_16294461128270.7231934021075002" colspan="1" style="width:250px; display:table-cell; padding-right:20px">
<div id="LPImageContainer_16294461128270.9519291442916507" style="background-color:rgb(255,255,255); height:250px; margin:auto; display:table; width:224px">
<a id="LPImageAnchor_16294461128270.06538801146410889" href="https://urldefense.com/v3/__https://fme-teaching.github.io/__;!!IBzWLUs!BUOXqdJRwq8YlIn8lyoZ3ygltDFj3E9SkoaUN0ciUnrk-qsb-s24vbmJIJfkBiqbTWvfknsCOx_19Q$" target="_blank" style="display:table-cell; text-align:center"><img id="LPThumbnailImageID_16294461128270.21873085091284117" width="224" height="250" style="display:inline-block; max-width:250px; max-height:250px; height:250px; width:224px; border-width:0px; vertical-align:bottom" src="https://fme-teaching.github.io/media/logo_hub96a365879c5829aace43d4a4da98a91_104111_300x300_fit_lanczos_2.png"></a></div>
</td>
<td id="TextCell_16294461128270.2223161343133654" colspan="2" style="vertical-align: top; padding: 0px; display: table-cell; position: relative;">
<div id="LPRemovePreviewContainer_16294461128270.035304281936093695"></div>
<div id="LPTitle_16294461128270.7146872474696392" style="top:0px; color:rgb(75,137,186); font-weight:normal; font-size:21px; font-family:wf_segoe-ui_light,"Segoe UI Light","Segoe WP Light","Segoe UI","Segoe WP",Tahoma,Arial,sans-serif; line-height:21px">
<a id="LPUrlAnchor_16294461128270.8323361291362557" href="https://urldefense.com/v3/__https://fme-teaching.github.io/__;!!IBzWLUs!BUOXqdJRwq8YlIn8lyoZ3ygltDFj3E9SkoaUN0ciUnrk-qsb-s24vbmJIJfkBiqbTWvfknsCOx_19Q$" target="_blank" style="text-decoration:none">Formal Methods Teaching Committee</a></div>
<div id="LPMetadata_16294461128270.011072327844361074" style="margin:10px 0px 16px; color:rgb(102,102,102); font-weight:normal; font-family:wf_segoe-ui_normal,"Segoe UI","Segoe WP",Tahoma,Arial,sans-serif; font-size:14px; line-height:14px">
fme-teaching.github.io</div>
<div id="LPDescription_16294461128280.949224311801007" style="display:block; color:rgb(102,102,102); font-weight:normal; font-family:wf_segoe-ui_normal,"Segoe UI","Segoe WP",Tahoma,Arial,sans-serif; font-size:14px; line-height:20px; max-height:100px; overflow:hidden">
The aim of the FME Teaching Committee is to support a worldwide improvement in learning formal methods, mainly by teaching but also via self-learning.</div>
</td>
</tr>
</tbody>
</table>
</div>
<p><br>
</p>
<p><span style="font-size:12pt">We are very happy to announce the first speaker in the series: Prof Sandrine Blazy, University of Rennes 1, France, https://people.irisa.fr/Sandrine.Blazy/, who will talk about using the Why3 tool for deductive program verification.</span><br>
</p>
<p><br>
</p>
<p><span style="font-size:12pt">This tutorial will take place on September 24, at 3pm CET. The zoom coordinates are below. The online event is planned to take about one hour, give or take.</span><br>
</p>
<p><br>
</p>
<p><br>
</p>
<p>Everyone welcome!!</p>
<p><br>
</p>
<p><br>
</p>
<p>With best regards,</p>
<p>Luigia Petre</p>
<p>on behalf of the FME Teaching Committee</p>
<p><br>
</p>
<p><i>Luigia Petre is inviting you to a scheduled Zoom meeting.</i></p>
<p><i><br>
</i></p>
<p><i>Topic: FMTea Tutorial Series</i></p>
<p><i>Time: This is a recurring meeting Meet anytime</i></p>
<p><i><br>
</i></p>
<p><i>Join Zoom Meeting</i></p>
<p><i>https://aboakademi.zoom.us/j/64254430116</i></p>
<p><i><br>
</i></p>
<p><i>Meeting ID: 642 5443 0116</i></p>
<p><i><br>
</i></p>
<p><i>Join by SIP</i></p>
<p><i>64254430116@109.105.112.236</i></p>
<p><i>64254430116@109.105.112.235</i></p>
<p><i><br>
</i></p>
<p><i>Join by H.323</i></p>
<p><i>109.105.112.236</i></p>
<p><i>109.105.112.235</i></p>
<p><i>Meeting ID: 642 5443 0116</i></p>
<div><br>
</div>
<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>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>