[TYPES/announce] FM4All - an FME initiative to support Formal Methods teaching in Computer Science and Engineering curricula

[Luigia Petre]

Dear all,

Formal Methods Europe (FME)<https://urldefense.com/v3/__https://www.fmeurope.org/__;!!IBzWLUs!Q2Lceqo6ZfMxktUil1l0p-HTAS2WozxKVW6qezBBZkJs-XeiESM1ABxC435SsKtiZReQNx7XVXDX26jkwTH03Vh2HHmiTdMPFQ5M$ > has recently started the FM4ALL 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:

-       on Tuesday May 19, within the FMTea workshop<https://urldefense.com/v3/__https://conf.researchr.org/track/fm-2026/fm-2026-workshop--fmtea*program__;Iw!!IBzWLUs!Q2Lceqo6ZfMxktUil1l0p-HTAS2WozxKVW6qezBBZkJs-XeiESM1ABxC435SsKtiZReQNx7XVXDX26jkwTH03Vh2HHmiTUSFQEZg$ >, at 12:00-12:30 + 15:00-15:30

-       on Thursday May 21, in a plenary FM session<https://urldefense.com/v3/__https://conf.researchr.org/program/fm-2026/program-fm-2026/?track=FM*20Community*20Sessions&date=Thu*2021*20May*202026&room=2F*20Auditorium__;JSUlJSUl!!IBzWLUs!Q2Lceqo6ZfMxktUil1l0p-HTAS2WozxKVW6qezBBZkJs-XeiESM1ABxC435SsKtiZReQNx7XVXDX26jkwTH03Vh2HHmiTcdWoGZQ$ >, at 14:10-15:35
The sessions will be interactive, alternating content presentation with opinion polls. We will introduce a plan for structured community involvement in the process; the first step for that is a Community Feedback form regarding our work<https://urldefense.com/v3/__https://forms.gle/8hWsofYs3egAiGkb8__;!!IBzWLUs!Q2Lceqo6ZfMxktUil1l0p-HTAS2WozxKVW6qezBBZkJs-XeiESM1ABxC435SsKtiZReQNx7XVXDX26jkwTH03Vh2HHmiTQip87n2$ > – you are welcome to fill in the form!

The FM4ALL Sessions at FM2026 serve as a public launch of the initiative. FM4ALL aims to achieve two objectives:
A.  Develop and publish comprehensive guidelines for teaching Formal Methods, to be endorsed and widely disseminated by FME, with the goal of encouraging adoption by universities worldwide.
B.  Develop a Formal Methods “Knowledge Area” (FM-KA) suitable for inclusion in the ACM Computer Science Curriculum, supporting integration of Formal Methods teaching into existing curricula.
Objective A provides the foundation for creating or updating an entire CS curriculum, assuming sufficient flexibility for (re-)formulating CS topics to include FM aspects.
Objective 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.
An earlier (2024) discussion on the reasons for this initiative can be found here: https://urldefense.com/v3/__https://fme-teaching.github.io/*curriculum__;Iw!!IBzWLUs!Q2Lceqo6ZfMxktUil1l0p-HTAS2WozxKVW6qezBBZkJs-XeiESM1ABxC435SsKtiZReQNx7XVXDX26jkwTH03Vh2HHmiTZGSiyh-$ .


Looking forward to FM week!


Best wishes,

Luigia Petre, on behalf of the FM4ALL Core Committee

__
Luigia Petre, Docent, PhD
Faculty of Science and Engineering
Åbo Akademi University, Finland
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!Q2Lceqo6ZfMxktUil1l0p-HTAS2WozxKVW6qezBBZkJs-XeiESM1ABxC435SsKtiZReQNx7XVXDX26jkwTH03Vh2HHmiTX6dgBLM$ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260515/d5f2b965/attachment.htm>