Diary Entry: 2008-09-30 00:00:00 - 2008-10-01 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).

Gift, Liam and Markus attend the Eight International Workshop on Automated Verification of Critical Systems - AVoCS'08 at the University of Glasgow. Liam gives the presentation "CSP-CASL-Prover – A generic tool for process and data refinement" and Gift gives the presentation "Variations over the Stable Revivals Model in CSP-Prover". Markus agrees to host AVoCS 2009 at Swansea University. After the conference Gift and Liam visited the local museum and were surprised to find an EP2 like system on display. Below are some photos from the event.