Diary Entry: 2010-07-01 00:00:00 - 2010-07-04 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 and Markus attend WADT'10 at Schloss Etelsen in Germany, where Liam gives the presentation "Compositional modelling and reasoning in an institution for processes and data". During the conference dinner Hans-Jörg Kreowski presented the following poem to mark the occasion of the 20th WADT.

From ADJ to CASL via 20 WADTs
ADJ, OBJ, ACT ONE, CLEAR, ORS, REVE, ASSPEGIQUE, HANSI, PLUSS, PAL, ASL, MAUDE, GESTALT, SMoLCS, TROLL, GLIDER, LARCH, LPG, LOTOS, SALSA, ELAN, LÜBECK, OBSURE, CASL, LF, HETS, CSL, CAS, SPASS, CoLoSS, SRML, GSBL, PVS, Twelf, CCC, MID, HasCASL, CoCASL, CSP-CASL, CASL-MDL, WADT.
Hans-Jörg Kreowski, Bremen, July 3, 2010.