Trip to Gregynog, Where the postdoctoral students of the group made presentations on the 20.11.06. The presentations were as follows :-

• Andy - Parsing CSP-CASL with Parsec.
• Gift - CSP Laws and How to Prove the Correctness in CSP-Prover.
• Liam - Various Logics Fit into the Framework of an Algebraic Logic.
• Temesghen - Refinement notions in CSP and Algebraic Specification.