Information dissemination will be via published papers in the main. These will be at open conferences (some co-organised by ProCoS-WG, in refereed journals, and in book form as well. In particular, a book provisionally entitled Applications of Formal Methods is planned for 1995 comprising of chapters from many experts in the area of formal methods and concentrating on the industrial application of these techniques [23]. A number of ProCoS-WG sites are participating in this project and a summary of some of the issues involved has been produced [9], in response to a paper by Anthony Hall of Praxis [19]. In 1995, a special issue of the Information and Software Technology journal on the Z notation is also planned, again with contributions from several ProCoS-WG partners.