[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.easychair.org/smart-program/FM24/2024-09-11.html__;!!IBzWLUs!SoAA37QW6Ssq7LpB_EN7LQah5XFO-hlrQAoVNHfiNes0J_Hj2Kn2Es8yd4_YsTzwF4x7vZS9YkolC4IVvXZqpN51dU2eyfSEkC4W$
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
https://urldefense.com/v3/__http://www.users.abo.fi/lpetre__;!!IBzWLUs!SoAA37QW6Ssq7LpB_EN7LQah5XFO-hlrQAoVNHfiNes0J_Hj2Kn2Es8yd4_YsTzwF4x7vZS9YkolC4IVvXZqpN51dU2eyYHaS2fA$
