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
Z (pronounced `zed') is a formal specification notation based on set theory and first order predicate logic. It has been developed initially since the late 1970s at the Programming Research Group within the Oxford University Computing Laboratory (OUCL) and #latterly around the world. It is used by industry as part of the software (and hardware) development process in Europe, USA and elsewhere. It has undergone international ISO #standardization in 2002.