Reihe Workshops in Computing

Proceedings of the International Workshop on Semantics of Specification Languages, Utrecht, The Netherlands, 25 – 27 Oct

Proceedings of the 1st International Workshop on Rules in Database Systems, Edinburgh, Scotland, 30 August–1 September 1

Proceedings of a Workshop held as part of AI-ED 93, World Conference on Artificial Intelligence in Education, Edinburgh,

Proceedings of the Fourth International Workshop on Database Programming Languages — Object Models and Languages, Manhat

Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgiu

Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns

University of Limerick, 10–11 September 1992

Proceedings of the First International Workshop on Interfaces to Database Systems, Glasgow, 1–3 July 1992

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