ProCoS-WG

5th ProCoS-WG Working Group Meeting
Department of Computer Science, University of Reading
7-9 April 1997

See timetable and photograph and list of delegates

Welcome to information on the 5th ESPRIT ProCoS-WG Working Group meeting on Provably Correct Systems, held 7-9 April 1997, at the Department of Computer Science, University of Reading, UK. This meeting is in conjunction with the 10th International Conference of Z Users (ZUM'97), held the previous week (3-4 April 1997), also at Reading. ZUM'97 is supported by ProCoS-WG and attendance at both meetings by ProCoS-WG partners is welcome, with weekend accommodation available.

This was the 5th and final meeting of the EC-funded Working Group. The local organizing secretary was Christina Simmons in the Department of Computer Science. Feel free to contact her on C.M.L.Simmons@reading.ac.uk (Departmental Office - Room 140) if you are participating at the meeting and require help.

Travel information is as for ZUM'97; a timetable and photograph are available.

[Photograph] Accomodation is in ensuite rooms at St. George's Hall (see photograph on right), a 10 minute walk from the venue in the Gordon Lecture Theatre within the Engineering building on the Whiteknights campus.


Maintained by Jonathan Bowen as part of the ProCoS archive.
Comments and requests are welcome.

This information may be found on-line under:

http://www.afm.sbu.ac.uk/procos/apr97/

procos-request@comlab.ox.ac.uk