Diary Entry: 2013-07-13 00:00:00 - 2013-07-19 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 attends FWFM 2013 and CAV 2013 in Saint Petersburg, Russia. At FWFM Liam presents the paper "Formal Methods for First Years".