<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></p>
<div tabindex="-1" style="font-size: 16px; font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols;">
<div tabindex="-1">
<div tabindex="0">
<div class="x_x__rp_f5" tabindex="-1">
<div tabindex="-1" class="x_x__rp_R4 x_x_ms-border-color-neutralLight x_x_ShowConsesusSchedulingLink x_x_ShowReferenceAttachmentsLinks" style="outline: none;">
<div class="x_x__rp_45 x_x__rp_35">
<div class="x_x__rp_T4" id="x_x_Item.MessagePartBody">
<div class="x_x__rp_U4 x_x_ms-font-weight-regular x_x_ms-font-color-neutralDark x_x_rpHighlightAllClass x_x_rpHighlightBodyClass" id="x_x_Item.MessageUniqueBody" style="font-family: wf_segoe-ui_normal, "Segoe UI", "Segoe WP", Tahoma, Arial, sans-serif, serif, EmojiFont;">
<div class="x_x_rps_f312">
<div class="x_x_BodyFragment"><font size="2"><span style="font-size: 10pt;">
<div class="x_x_PlainText">Dear all,<br>
<br>
We continue our Formal Methods Teaching tutorials series with a lecture on <b>Friday, March 28</b>, at <b>4 pm CET</b>!<br>
<br>
<i>(Please note the slightly different starting time!!!)</i><br>
<br>
Prof. Peter-Michael Osera from Grinnell College in US will discuss about teaching formal verification together with the foundations of computer science.<br>
<br>
Here comes the abstract of the talk:<br>
<br>
How do we promote the importance and relevance of formal verification to undergraduate computer scientists? While we often focus on building better tools, we should spend an equal, if not greater, amount of time thinking about the pedagogy of formal verification.
What are the essential theories and techniques every undergraduate should know from the field? In this talk, I introduce how I have addressed these questions, first through tool building and then through pedagogy. In particular, I present an ongoing multi- institutional
project to integrate formal methods across the undergraduate curriculum, in particular, its mathematical foundations.<br>
<br>
Professor Osera has recently won a 3-year grant from NSF on the topic of "Integrating Formal Methods into the Foundational Undergraduate Curriculum": <a href="https://www.nsf.gov/awardsearch/showAward?AWD_ID=2422174" target="_blank" rel="noopener noreferrer" id="LPlnk605929">https://www.nsf.gov/awardsearch/showAward?AWD_ID=2422174</a>.<br>
<br>
The event will last about an hour.<br>
<br>
Warmly welcome!!<br>
<br>
Best wishes,<br>
Luigia<br>
<br>
PS: for more info, here is the tutorial series webpage:<br>
<a href="https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/" target="_blank" rel="noopener noreferrer" id="LPlnk863720">https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/</a>.</div>
</span></font></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<div class="x_x__rp_j" tabindex="-1" style="width: 755.923px; height: 0.909091px;">
<div class="x_x__qc_F x_x_ms-bg-color-white x_x__qc_G">
<div tabindex="-1" class="x_x__qc_y x_x_ms-border-color-neutralLight x_x__qc_z">
<div class="x_x__qc_A x_x_ms-border-color-neutralLight" style="width: 755.923px;">
</div>
</div>
</div>
</div>
</div>
<br style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 16px;">
<p style="font-family: Calibri, Helvetica, sans-serif, serif, EmojiFont; font-size: 16px;">
</p>
<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>