Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991

Proceedings of the International Workshop on Code Generation, Dagstuhl, Germany, 20–24 May 1991

Proceedings of the Sixth Annual Z User Meeting, York 16–17 December 1991

Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, 12–14 August 1991

Architectures and Tools

PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991

Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4–5 July 1991

International Workshop on Specifications of Database Systems, Glasgow, 3–5 July 1991

Edinburgh, 22–23 July 1991

Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991