5th Refinement Workshop: Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

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

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

Persistent Object Systems: Proceedings of the Fifth International Workshop on Persistent Object Systems, San Miniato (Pisa), Italy, 1–4 September 1992

Object Orientation in Z

AI and Cognitive Science ’92: University of Limerick, 10–11 September 1992

First International Workshop on Larch: Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992

Z User Workshop, London 1992: Proceedings of the Seventh Annual Z User Meeting, London 14–15 December 1992

Theory and Formal Methods 1993: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 October 1993

Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993

6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 5–7 January 1994

Directions in Safety-Critical Systems: Proceedings of the First Safety-critical Systems Symposium The Watershed Media Centre, Bristol 9–11 February 1993

Learning Mathematics: Constructivist and Interactionist Theories of Mathematical Development

Systems, Models and Measures

Notations for Software Design

Programming Environments for Massively Parallel Distributed Systems: Working Conference of the IFIP WG 10.3, April 25–29, 1994

Database Application Engineering with DAIDA

Learning Mathematics: Constructivist and Interactionist Theories of Mathematical Development

Type Logical Grammar: Categorial Logic of Signs

Relations and Graphs: Discrete Mathematics for Computer Scientists

Specification and Analysis of Concurrent Systems: The COSY Approach

Subrecursive Programming Systems: Complexity & Succinctness