Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Luigia Petre <address@concealed>
- To: "address@concealed" <address@concealed>
- Subject: [PN-world] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14
- Date: Fri, 6 Sep 2024 19:54:13 +0000
- Accept-language: en-US, sv-FI
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=abo.fi header.s=mail header.b=KmBOQW98; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 130.232.212.50 as permitted sender) address@concealed; dmarc=pass (policy=none) header.from=abo.fi
- Dkim-filter: OpenDKIM Filter v2.11.0 smtp-out.abo.fi 116F5109D642
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
- [PN-world] Teaching Committee Meeting at FM'24 on Wed 11.9 @12:50-14, Luigia Petre, 09/06/2024
Archive powered by MHonArc 2.6.19+.