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 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015) will take place in Cali (Colombia), on October 29-31, 2015.

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.

The kick-off meeting of the EU COST Action Runtime Verification beyond Monitoring (ARVI) has taken place in Brussels in December 2014. Prof. Martin Leucker was elected as the chair of this action and the University of Lübeck became the grant holding institution.

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.

Subscribe to Front page feed