Dissemination strategies. The prime audience for this work is other researchers, and consequently the main route for dissemination will be technical reports, journal papers and conference presentations by the participants. This enables rapid and timely publicity among those who can draw most from the work. We do not rule out short-term impact on programming language design in industry, but recognise from experience that this is often dependent on non-technical factors outside our control. As well as academic papers, we plan to produce an incremental series of prototype and proof-of-concept implementations, as listed in the workplan: the proof checker and theorem prover of 2c and 2e; the compiler of package 3; the type checker of 4b/c; the certificate gen- erator of 6; and the integration work of package 8. Prototypes like this are an effective way to demonstrate theoretical results in a practical context, and we shall make them available (with source code) over the web. To further promote research in this area, we shall arrange at least one workshop on mo- bile resource guarantees, associated with a suitable international conference.
Dissemination strategies. To evaluate the communication strategies for project year 2, we have used the same format as the previous evaluation. We will first outline the initial plan for each activity or event with an evaluation for the year and then express our thoughts on how we might continue after the project. We will evaluate the communication strategy based on three chapters: internal communication, community of practice and external communication.
