
<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 style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;"><span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">Dear all,</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">On the last Friday of the summer, we have the opportunity of a theorem prover</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">lecture from an Ivy League colleague!</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">Dr. Robert Lewis (Brown University, US) will lecture on Friday August 26,</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">2022, at 3 pm CEST on the Lean theorem prover. His talk is entitled "Teaching</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">the theory and practice of proof assistants with Lean". Rob will complete the</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">series of 3 lectures on teaching formal methods at Brown; if interested in the</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">previous two lectures, please check our website (link below in the PS).</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">The zoom link for Rob's lecture is </span><a href="https://aboakademi.zoom.us/j/64254430116" target="_blank" rel="nofollow noopener noreferrer" id="LPlnk131122" style="font-family: sans-serif; font-size: 13.600000381469727px; line-height: inherit; color: rgb(0, 144, 233); text-decoration: none; margin: 0px; padding: 0px; border: 0px; vertical-align: baseline;" previewremoved="true">https://aboakademi.zoom.us/j/64254430116</a><span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">.</span><br>

<br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">The event will last about an hour.</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">Warmly welcome!!</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">Best wishes,</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">Luigia</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">PS: the tutorial series webpage is up to date with the list of 2021 and 2022</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">speakers (and links to (almost all of) the recordings of their talks):</span><br style="font-family: sans-serif; font-size: 13.600000381469727px; color: rgb(34, 34, 34);">

<a href="https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/" target="_blank" rel="nofollow noopener noreferrer" id="LPlnk574901" style="font-family: sans-serif; font-size: 13.600000381469727px; line-height: inherit; color: rgb(0, 144, 233); text-decoration: none; margin: 0px; padding: 0px; border: 0px; vertical-align: baseline;" previewremoved="true">https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/</a><span style="color: rgb(34, 34, 34); font-family: sans-serif, serif, EmojiFont; font-size: 13.600000381469727px;">.</span><br>

<br>

</p>

<p style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;"><br>

</p>

<div id="x_Signature" style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont;">

<div id="x_divtagdefaultwrapper" dir="ltr" style="font-size: 12pt; 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, serif, EmojiFont; 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, serif, EmojiFont; 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, serif, EmojiFont; 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, serif, EmojiFont; 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, serif, EmojiFont; font-size: 12px; orphans: 2; widows: 2;">www.users.abo.fi/lpetre</span></p>

</div>

</div>

</div>

</body>

</html>