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.