Marino Miculan gave a mini-course on Structural Operational Semantics for Probabilistic and Stochastic Processes in late October.
Associate Professor Andrzej Wasowski received the prestigious Sapere Aude grant of DKK 7 million from The Danish Council for Independent Research.
Thorsten Berger started as a post-doc in the variability modelling corner of the group, October 1st, 2012.
The dates for Models Group talks were put online.
Applications were invited for several PhD positions in Model Driven Development of Safety Critical Systems, Verification and Software Product Lines.
The deadline for application was October 31 at noon, Copenhagen time.
Marino Miculan visited the Models Group in October.