Diary Entry: 2009-09-23 00:00:00 - 2009-09-25 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).

We host the Ninth International Workshop on Automated Verification of Critical Systems - AVoCS'09 at the Gregynog conference centre. We had 22 accepted papers, 2 invited talks and over 30 participants at the workshop. Below are some photos from the event and our preperations.