FME is developing Guidelines for Teaching Formal Methods, an initiative called FM4All: we welcome the community’s feedback on this development.
FM4ALL: Contribute to FM guidelines.
Please consider answering our questions in this very short form - you can stay anonymous if you want. The slides for the talk launching FM4All are available here. The FM4all initiative was launched at the FM'26 Symposium: https://conf.researchr.org/details/fm-2026/fm-2026-community/1/FM4All-FME-Guidelines-for-Teaching-Formal-Methods-as-a-Knowledge-Area-in-the-ACM-Cu."