Dear all, FME's Teaching Committee organises a meeting at FM'24 in Milan on Wednesday (September 11), during lunch time 12:50-14 CEST (session 16, Room 3.0.1; people can take lunch and we eat it together while discussing our issues) mainly about - Devising FME guidelines for an FM Curriculum for undergraduate/graduate Computer Science studies - Working on a Book Series in Formal Methods
Here the schedule for that day, where our session 16 can be seen: https://www.easychair.org/smart-program/FM24/2024-09-11.html Everyone interested welcome! Looking forward to FM week, Luigia Petre, on behalf of the Teaching Committee __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre
