<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></p>
<div id="divtagdefaultwrapper" dir="ltr" style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;">
<p class="MsoNormal" style="margin: 0cm; line-height: normal; font-size: 12pt; font-family: Aptos, sans-serif;">
<span style="font-family: Calibri, sans-serif;">Dear all, </span></p>
<p class="MsoNormal" style="margin: 0cm; line-height: normal; font-size: 12pt; font-family: Aptos, sans-serif;">
<span style="font-family: Calibri, sans-serif;"> </span></p>
<p class="MsoNormal" style="margin: 0cm 0cm 8pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify;">
<u><span lang="EN-GB" style="font-family: Calibri, sans-serif; color: rgb(70, 120, 134);"><a href="https://www.fmeurope.org/" style="color: blue;">Formal Methods Europe (FME)</a></span></u><span style="font-family: Calibri, sans-serif;"> has recently started
the </span><b><i><span lang="EN-GB" style="font-family: Calibri, sans-serif;">FM4ALL</span></i></b><i><span lang="EN-GB" style="font-family: Calibri, sans-serif;"> </span></i><span lang="EN-GB" style="font-family: Calibri, sans-serif;">initiative for supporting
the systematic teaching of Formal Methods in Computer Science and Engineering Curricula. We will present our current results during the FM Symposium week. You can attend one (or both) of our presentations:</span></p>
<p class="MsoListParagraphCxSpFirst" style="margin: 0cm 0cm 0cm 36pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify; text-indent: -18pt;">
<span lang="EN-GB" style="font-family: Calibri, sans-serif;">- </span><span lang="EN-GB" style="font-family: Calibri, sans-serif;">on Tuesday May 19, within the <a href="https://conf.researchr.org/track/fm-2026/fm-2026-workshop--fmtea#program" style="color: blue;">FMTea
workshop</a>, at 12:00-12:30 + 15:00-15:30</span></p>
<p class="MsoListParagraphCxSpLast" style="margin: 0cm 0cm 8pt 36pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify; text-indent: -18pt;">
<span lang="EN-GB" style="font-family: Calibri, sans-serif;">- </span><span lang="EN-GB" style="font-family: Calibri, sans-serif;">on Thursday May 21, in a <a href="https://conf.researchr.org/program/fm-2026/program-fm-2026/?track=FM%20Community%20Sessions&date=Thu%2021%20May%202026&room=2F%20Auditorium" style="color: blue;">plenary
FM session</a>, at 14:10-15:35</span></p>
<p class="MsoNormal" style="margin: 0cm 0cm 8pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify;">
<span style="font-family: Calibri, sans-serif;">The sessions will be interactive, alternating content presentation with opinion polls. We will introduce a plan for structured community involvement in the process</span><span style="font-family: Calibri, sans-serif; color: rgb(51, 51, 51);">;
the first step for that is a <a href="https://forms.gle/8hWsofYs3egAiGkb8" style="color: blue;">Community Feedback form regarding our work</a> you are welcome to fill in the form!</span><span style="font-family: Calibri, sans-serif;"> </span></p>
<p class="MsoNormal" style="margin: 0cm 0cm 8pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify;">
<span lang="EN-GB" style="font-family: Calibri, sans-serif;"> </span></p>
<p class="MsoNormal" style="margin: 0cm 0cm 8pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify;">
<span style="font-family: Calibri, sans-serif;">The <b>FM4ALL Sessions at FM2026</b></span><span style="font-family: Calibri, sans-serif; color: rgb(0, 112, 192);"> </span><span style="font-family: Calibri, sans-serif;">serve as a public launch of the initiative. <b>FM4ALL</b> aims
to </span><span lang="EN-GB" style="font-family: Calibri, sans-serif;">achieve two objectives:</span><span style="font-family: Calibri, sans-serif;"></span></p>
<p class="MsoNormal" style="margin: 0cm 0cm 0cm 36pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify; text-indent: -18pt;">
<span style="font-family: Calibri, sans-serif;">A. Develop and publish comprehensive <b>guidelines for teaching Formal Methods</b>, to be endorsed and widely disseminated by FME, with the goal of <b>encouraging adoption by universities worldwide</b>.</span></p>
<p class="MsoNormal" style="margin: 0cm 0cm 8pt 36pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify; text-indent: -18pt;">
<span style="font-family: Calibri, sans-serif;">B. Develop a <b>Formal Methods Knowledge Area (FM-KA)</b> suitable for inclusion in the <b>ACM Computer Science Curriculum</b>, supporting integration of Formal Methods teaching into existing curricula.</span></p>
<p class="MsoNormal" style="margin: 0cm 0cm 8pt; line-height: 13.8pt; font-size: 12pt; font-family: Aptos, sans-serif; text-align: justify;">
<b><span style="font-family: Calibri, sans-serif;">Objective A</span></b><span style="font-family: Calibri, sans-serif;"> provides the foundation for creating or updating an entire CS curriculum, assuming sufficient flexibility for (re-)formulating CS topics
to include FM aspects.<br>
<b>Objective B</b>, constrained by the ACM format and requirements, expresses how Formal Methods education can be integrated within existing CS curricula, largely independent of their current structure or degree of formality.</span></p>
<p class="MsoNormal" style="margin: 0cm; line-height: normal; font-size: 12pt; font-family: Aptos, sans-serif;">
<span style="font-family: Calibri, sans-serif;">An earlier (2024) discussion on the reasons for this initiative can be found here: </span><u><span style="font-family: Calibri, sans-serif; color: rgb(70, 120, 134);"><a href="https://fme-teaching.github.io/#curriculum" style="color: blue;">https://fme-teaching.github.io/#curriculum</a></span></u><span style="font-family: Calibri, sans-serif;">.</span></p>
<br>
<p></p>
<p>Looking forward to FM week!</p>
<p><br>
</p>
<p>Best wishes,</p>
<p>Luigia Petre, <span style="font-size: 12pt;">on behalf of the FM4ALL Core Committee</span></p>
</div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-family: Calibri, Helvetica, sans-serif, Helvetica, EmojiFont, "Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size: 12pt;">
<div id="Signature">
<div id="divtagdefaultwrapper" dir="ltr" style="font-size: 12pt;">
<p><span style="font-family: Helvetica; font-size: 12px;">__</span><br style="font-family: Helvetica; font-size: 12px;">
<span style="font-family: Helvetica; font-size: 12px;">Luigia Petre, Docent, PhD</span><br style="font-family: Helvetica; font-size: 12px;">
<span style="font-family: Helvetica; font-size: 12px;">Faculty of Science and Engineering</span><br style="font-family: Helvetica; font-size: 12px;">
<span style="font-family: Helvetica; font-size: 12px;">bo Akademi University, Finland</span><br style="font-family: Helvetica; font-size: 12px;">
<span style="font-family: Helvetica; font-size: 12px;">www.users.abo.fi/lpetre</span></p>
</div>
</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>
</p>
</div>
</div>
</div>
</body>
</html>