Liam and Temesghen attend BCTCS 2009 at Warwick University. Unfortunately Phil was ill and could not attend, however he intended to give a talk titled "Verifying Train Control Software". Temesghen gave the talk "Property Verification of an Electronic Payment System: EP2" whilst Liam gave a talk titled "Structured Theorem Proving For CSP-CASL". Below are a few photos from the social side of the event.