A ProCoS-WG
Working Group Description:
ESPRIT Basic Research 8694
Jonathan Bowen et al.
Oxford University Computing Laboratory
Programming Research Group
Wolfson Building
Parks Road
OXFORD OX1 3QD
UK
Tel: +44-865-273838 (283512 direct)
Fax: +44-865-273839
Email:
procos-request@comlab.ox.ac.uk
Abstract:
An overview of the current and planned activities of the ESPRIT ProCoS-WG Working Group
(no. 8694) comprising 24 European academic and industrial partners
interested in ``Provably Correct Systems'' is presented. This Working
Group is associated with the ESPRIT Basic Research ProCoS II project (no.
7071) previously announced in the Bulletin of the EATCS [5] and also reported
elsewhere (e.g., see [6]).
ProCoS-WG is running for three years from 1 January 1994.
This document is based on one available in
compressed PostScript format.