[fg-arc] Teaching Committee Meeting at FM'24 next week, Wed 11.9 @12:50-14

[Luigia Petre]

Dear all,

FME's Teaching Committee organises a meeting at FM'24 in Milan on Wednesday next week (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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20240906/14c20fce/attachment.htm>