Contents

• The Project Proposal
• The People
• Events
• Publications     Updated March 2005
• Final report (2000) and EPSRC's assessment of it.

New and forthcoming

• Results on the probabilistic mu-calculus qMu

• Abstraction, Refinement and Proof for Probabilistic Systems Springer Verlag Published January 2005.