Liam and Temesghen attend BCTCS 2008 at Durham University. Temesghen gave the talk "Theory and Application of Testing from CSP-CASL" followed by Liam with the talk "Algorithmic Proof Generation for CSP-CASL-Prover". Below are some pictures from the conference.