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
Announcements concerning Provably Correct Systems ('ProCoS'), including conferences and other meetings, books and publications in general, jobs and studentships, etc.