3.The privacy policy for this mailing list (link above) explains how your information is managed. Jisc's privacy notice is available here: https://www.jisc.ac.uk/website/privacy-notice
4. If you notice anyone misusing the service please inform JiscMail
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.