ProCoS

Last ProCoS Workshop and 3rd ProCoS Working Group Meeting

21-23 August 1995

Hotel Marina
Vedbæk Strandvej 391
DK - 2950 Vedbæk
Denmark


See:

A theme of Linking Theories was suggested by Prof. Tony Hoare. (New)

Photograph

Photograph of participants

Maintained by Jonathan Bowen as part of the ProCoS archive.
Comments and requests are welcome.
procos-request@comlab.ox.ac.uk