Overall management of the Working Group rests with the co-ordinating partner, Oxford University. Prof. C.A.R. Hoare is the principal investigator, as for the ProCoS II project which Oxford also co-ordinates. ProCoS-WG management is undertaken by Jonathan Bowen who has obtained UK government funding starting from 1 June 1993 for three years on a project entitled Provable Correct Hardware/Software co-design that explicitly includes European collaboration, with ProCoS in particular, as part of its objectives.
The responsibilities of the management include: monitoring and control of overall programme of activities; distributing travel funding to Working Group partners; ensuring timely delivery of all information dissemination; handling all official two-way correspondence (with the CEC); maintaining central files for all relevant documents; maintaining and distributing bibliographic and other databases; organising and chairing meetings; organising or delegating responsibility for reviews, workshops and conferences.
A Working Group secretary, Joan Arnold at the Oxford University Computing Laboratory (tel: +44-865-283521, email: Joan.Arnold@comlab.ox.ac.uk) has been appointed and may be contacted concerning information on ProCoS organisational matters such as meetings if required.
A number of specially invited guests attended the closed first Working Group meeting at Gentofte. Some have become ProCoS affiliates and as such will be invited to attend future closed meetings (at their own expense). Any individual with a special interest in activities may be elected as a ProCoS affiliate by approval of the management committee if desired. Please contact the author or one of the site leaders in the first instance if you are interested in becoming a ProCoS affiliate or attending one of the closed meetings as a special guest. We welcome relevant presentations from non-ProCoS participants.