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.