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
This list was originally set up for discussion concerning a proposed European Network of Excellence in the area of formal methods led by London South Bank University, UK. Now it is available for general messages relating to formal methods. Anyone with an interest in formal methods may join.