Joint workshops are being held withe the ProCoS II project during the lifetime of that project, approximately every 6 months at ProCoS project sites in Denmark, Germany, the UK and elsewhere. The major event for the Working Group is an open School and Symposium organised jointly with the existing Formal Techniques in Real-Time and Fault-Tolerant Systems series, 19-23 September 1994 at Lübeck, Germany. The group also supports the Z User Meeting series of workshops (e.g., the 8th meeting on 29-30 June 1994 at the University of Cambridge, UK [8]) concerned with the fomal specification notation Z [15].