Diary Entry: 2012-06-07 00:00:00 - 2012-06-10 00:00:00

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.