Subscribe or Unsubscribe
1. Before using JiscMail, please read our terms and conditions: https://www.jiscmail.ac.uk/policyandsecurity/
2. For the purpose of GDPR: the list owners (those who manage the mailing list) are the Data Controllers. Jisc, who operate JiscMail, are Data Processors. See:https://www.jiscmail.ac.uk/policyandsecurity/#12
4. If you notice anyone misusing the service please inform JiscMail
Hide Latest Messages
AI4FM is a project aimed at using AI techniques to learn from human users how to discharge Proof Obligations that arise in typical formal method applications. This list will keep people informed of progress.
For help and support firstname.lastname@example.org