[TYPES/announce] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14

[Luigia Petre]

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$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240906/ec979f5c/attachment-0001.htm>