Diary Entry: 2009-04-06 00:00:00 - 2009-04-09 00:00:00

Error message

Deprecated function: The each() function is deprecated. This message will be suppressed on further calls in menu_set_active_trail() (line 2375 of /compsci/partition2/csmarkus/public_html/ProcessesAndData/includes/menu.inc).

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.