Workshops in Computing

Specification and Verification of Concurrent Systems

AI and Cognitive Science ’89

Dublin City University 14–15 September 1989

Functional Programming

Proceedings of the 1989 Glasgow Workshop 21–23 August 1989, Fraserburgh, Scotland

Semantics for Concurrency

Proceedings of the International BCS-FACS Workshop, Sponsored by Logic for IT (S.E.R.C.), 23–25 July 1990, University of Leicester, UK

Persistent Object Systems

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

Z User Workshop

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

Formal Methods for Trustworthy Computer Systems (FM89)

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

Security and Persistence

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

Women into Computing

Selected Papers 1988–1990

Software Re-use, Utrecht 1989

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

AI and Cognitive Science ’90

University of Ulster at Jordanstown 20–21 September 1990

4th Refinement Workshop

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

Designing Correct Circuits

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

IV Higher Order Workshop, Banff 1990

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

Functional Programming, Glasgow 1990

Proceedings of the 1990 Glasgow Workshop on Functional Programming 13–15 August 1990, Ullapool, Scotland

Z User Workshop, Oxford 1990

Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Specifications of Database Systems

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

7th UK Computer and Telecommunications Performance Engineering Workshop

Edinburgh, 22–23 July 1991

ALPUK91

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

Declarative Programming, Sasbachwalden 1991

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

Building Interactive Systems

Architectures and Tools

Logic Program Synthesis and Transformation

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

5th Refinement Workshop

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

Code Generation — Concepts, Tools, Techniques

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

Functional Programming, Glasgow 1991

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

Object Orientation in Z

Z User Workshop, York 1991

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

ALPUK92

Proceedings of the 4th UK Conference on Logic Programming, London, 30 March – 1 April 1992

AI and Cognitive Science ’91

University College, Cork, 19–20 September 1991