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).
Markus and Phil attend and present at WADT 2012. The work presented is based on formalising UML and translating it to CASL. The conference was held in the rather magnificant city of Salamanca, Spain. Some pictures from the event are given below.