Proceedings of the IV Higher Order Workshop, Banff, Alberta, Canada 10–14 September 1990

Proceedings of the 4th Refinement Workshop, organised by BCS-FACS, 9–11 January 1991, Cambridge

University of Ulster at Jordanstown 20–21 September 1990

Proceedings of the Software Re-use Workshop, 23–24 November 1989, Utrecht, The Netherlands

Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford

Selected Papers 1988–1990

Proceedings of the International Workshop on Computer Architectures to Support Security and Persistence of Information 8–11 May 1990, Bremen, West Germany

Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada

Proceedings of the Fourth Annual Z User Meeting Oxford, 15 December 1989

Proceedings of the Third International Workshop 10–13 January 1989, Newcastle, Australia