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.