archive

• ESPRIT ProCoS I project (1989-1991) and the follow-on
  ProCoS II project (no. 7071, 1992-1995)
• The associated ProCoS-WG Working Group (no. 8694, 1994-1997);
• UK EPSRC Provably Correct Hardware/Software Co-design project (1993-1996);
• ESPRIT/NSF ProCoS-US ( EC-US027, 1993-1997) European / US travel grant on Provably Correct Hardware Compilation;
• ESPRIT KIT (Keep in Touch) travel grant (1993-1996) with Zhou ChaoChen, UNU/IIST (Macau).
• ESPRIT PROCORSYS KIT (Keep in Touch) travel grant (KIT 142, 1994-1997) with Augusto Sampaio, Departamento de Informatica Universidade Federal de Pernambuco (Brazil).
• EPSRC Visting Fellowship (1996-1997) to study Provably Correct Real Time Systems for Michael Schenke, Oldenburg University, Germany.

Some mainly older on-line files are available via anonymous FTP with an index and a README file. Information on the related UK safemos project is also available.

A summary of the ProCoS II project published in the Bulletin of the EATCS (10 pages) and another produced for a project review (13 pages) are available, together with a 2-page summary of the Working Group. A more technical overview (12 pages) of the project may also be found on-line.

ProCoS supported ZUM'94, FTRTFT'94 and ZUM'95. Many ProCoS personnel attended the Dagstuhl Seminar on the Steam Boiler Control Specification Problem, 5-9 June 1995.

See also information on archives of on-line project documents and publications from the project's partner sites:

• Technical University of Denmark
• Kiel University (Germany)
• Oldenburg University (Germany)
• Oxford University (UK)

Personnel involved with ProCoS at Oxford, the coordinating site, include Prof. C.A.R. Hoare and Prof. He Jifeng. Joan Arnold is the project and Working Group secretary. Jonathan Bowen moved from OUCL to lead the Formal Methods and Software Engineering Group at the Department of Computer Science, University of Reading, and continued to manage the Working Group.

For further information please email procos-request@comlab.ox.ac.uk and to join the postal and/or electronic mailing list, please send a request to procos-list-request@comlab.ox.ac.uk. At the OUCL, this list is gatewayed to the local ox.comlab.procos newsgroup.

On-line forms are available to make comments and to join/leave the ProCoS mailing list.

• Research grant information and other OUCL research.

• ECBS / ProCoS Common Workshop, 15-16 February 1995, Munich, Germany.

• Human Capital and Mobility Project EuroFORM at Madrid and elsewhere which is investigating Formal Methods for Correct System Design.

• ESPRIT Framework IV Information Package.

• ESPRIT Long Term Research synopses.

• ProCoS information at the Centre for Applied Formal Methods, CISM, London South Bank University, UK.