An important part of the activities of ProCoS-WG is monitoring, influence and participation in relevant on-going and future international standardisation efforts. Nicholas North at NPL (UK) is a member of the ISO standardisation committees for the logic programming language Prolog and the formal specification language VDM-SL [25] and NPL have an interest in standards in general [33] [34]. Peter Gorm Larsen of IFAD (Denmark) is a member of the VDM-SL standardisation committee [27] and has a general interest in standards [28]. John Nicholls, Stephen Brien and Jim Woodcock at Oxford University are involved with the ISO standardisation of Z [15].
Jonathan Bowen is a member of the UK Safety-Critical Systems Club (including its Advisory Panel) which has an interest in safety-related standards and is a programme committee member of the Software Engineering Standards Symposium (SESS) series. Recently he has been monitoring the recommendations concerning formal methods in safety-critical and other standards [4] [13]. In particular, he is in close touch with the ANSI X3J21 Technical Committee on Formal Description Techniques (FDTs) involved with proposed ISO/IEC standards (e.g., for VDM and Z) and the EWICS TC7 Technical Committee on Safety, Reliability and Security. ProCoS-WG aims to maintain and make new contacts with standardisation efforts in the areas of formal methods and safety-critical systems. We welcome approaches from anyone concerned with standards who thinks that liaison could be of mutual benefit.