<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><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">Dear all,</span></p>
<p><br>
</p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">The FME Tutorial series continues! </span></p>
<p><br>
</p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">This week we have the pleasure of listening to</span><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;"> Dr Tim Nelson's (Brown University, US) </span><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">lecture
on</span></p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">Friday June 17, 2022, at 3 pm CET. His talk is entitled "Building Formal Methods Classes for Everybody</span><span style="font-size: 12pt; font-family: "Calibri Light", "Helvetica Light", sans-serif;">".
The abstract of Dr Nelson's lecture is here:</span></p>
<p><br>
</p>
<p><i><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">We think math and logic are beautiful and essential. If you teach a formal methods class, you probably agree. Some of our students, perhaps the most visible to us, also feel that
way. But what about the other 90%, the students who aren’t inclined to take our classes or any non-required “theory” class at all? If formal methods really are essential, we owe every student an opportunity to explore them, discover useful ideas, and maybe
even fall in love.</span></i></p>
<p><i><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">Some people derisively respond to a more inclusive class by assuming it will coddle students. On the contrary, these students have their own strengths and abilities that we can
and should design rigorous content around. After all, many of them will build the technologies we all use every day, so deepening their view of formalism satisfies both moral and selfish imperatives. This talk will cover the design space of such a course:
pedagogy, tool choice (sometimes building our own!), assignment design, and even TA hiring. I’ll talk about things that have worked well for us, other things that didn’t, and what we learned along the way.</span></i></p>
<div><br>
</div>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">The zoom link is https://aboakademi.zoom.us/j/64254430116. The event will last</span></p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">about an hour.</span></p>
<p><br>
</p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">Warmly welcome!!</span></p>
<p><br>
</p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">Best wishes,</span></p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">Luigia</span></p>
<p><br>
</p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">PS1: the tutorial series webpage is updated with the list of speakers who</span></p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">confirmed their lectures in 2022 here:</span></p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/.</span></p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">Please note that we have a speaker every month from now on until October!!</span></p>
<p><br>
</p>
<p><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">PS2: the </span><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">June </span><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">2022
lecture is scheduled exceptionally on the 17th </span><font size="3"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">of the month, instead of the usual last </span><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">Friday
of the month</span><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">, due to the summer </span></font><font size="3"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">holidays of </span></font><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;">some</span><font size="3"><span style="font-family: "Calibri Light", "Helvetica Light", sans-serif;"> of
the involved academics.</span></font></p>
<p><br>
</p>
<div id="Signature">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt;">
<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></p>
</div>
</div>
</div>
</body>
</html>