Malte Schmitz received an award for the best master degree in computer science in the academic year 2014/15. The award was funded by capgemini. He got the prize money of 1000 Euro.

The goal of this meeting is to bring together the two communities of runtime verification and static analysis, to combine the robustness of static analysis and the flexibility of runtime verification. Recent years have seen, on one hand, the use of static analysis in the context of runtime verification to reduce the size of runtime models by pruning certain scenarios that are statically analyzed, on the other hand, the use of runtime verification in the context of static analysis to ease verification burden by deferring certain properties to be verified at runtime.

Torben Scheffel received an award for the best master degree in computer science in the academic year 2013/14. The award was founded by capgemini. The prize money of 1000 Euro is divided between Torben Scheffel, Matthias Ernst and Christian Wißmach who all achieved the same mark.

Für ihre Veranstaltung "Spezifikation und Modellierung" im Wintersemester 2013/14 wurde Dr. rer. nat. Annette Stümpel der Walter-Dosch-Lehrpreis der Universität zu Lübeck verliehen. Der Lehrpreis wird für hervorragende Lehre in den MINT-Fächern auf Basis der studentischen Evaluationen an eine nichtprofessorale Dozentin bzw. einen nichtprofessoralen Dozent vergeben. Als die Urkunde am 24.