Forum
This is the Google Forum for Sapienza Formal Methods 2023/2024. Remember that you can interact with the forum via its online web-page as well as by email! This allows for responding to your questions much quicker.
To become a member of the group please send a request to the Instructor using your Sapienza Account.
When participating in the forum, please make sure you read a guide to Online Communication to have a nice experience and help others have a nice experience, search for: "Dos and Don'ts of Online Student Communication"
If you prefer to interact with the forum on a whole separate page, this is the link for the forum:
https://groups.google.com/a/diag.uniroma1.it/g/formal-method-20232024-de-giacomo
NB: You need to be registered to the group and logged in with your Sapienza account to see and post in this forum; your private account won't work.