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.

Im Rahmen dieser Fallstudie, die in Zusammenarbeit mit dem IMIS und dem ISP angeboten wird, soll ein Tablet entwickelt werden, welches den Anforderungen der nicht versierten Computernutzer entspricht. Hierbei ist insbesondere an ältere Menschen gedacht, die bislang wenig Erfahrung mit entsprechenden Systemen machen konnten.

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.

Der vernetzte Operationssaal der Zukunft: 10.000 Euro für das Center for Medical Software and Systems Engineering

Preisträger des Uni-Transferpreises 2013 sind Prof. Dr. Stefan Fischer und Prof. Dr. Martin Leucker mit ihrem Projekt „Center for Medical Software and Systems Engineering“ (CMSSE). Insgesamt vier hochkarätige Transferprojekte aus der Universität zu Lübeck waren für die mit 10.000 Euro dotierte Auszeichnung nominiert worden.

René Schönfelder wurde zum Thema Bildungschancen vom Spiegel interviewt. Mehr ist hier zu finden.

The ISP unit testing tool jUnitRV has been presented by Daniel Thoma at the NASA Formal Methods Symposium at the NASA Ames Research Center in Mountain View, California, USA. jUnitRV is a tool extending the unit testing framework jUnit by runtime verification capabilities.

The ISP receives a grant for the research project ZeLiM. It is jointly carried out with the ECC Repenning GbmH, a Lithium-Ion-Battery manufacturer, and deals with centralized monitoring of stationary energy storage systems based on lithium ion batteries. Details of the project can be found in the following press release (in German).

Der diesjährige KoSSE-Workshop findet am 29.01. in den MediaDocs zum Thema "Entwicklung von Web-Applikationen" statt. Weitere Details findet man auf der Kosse-Seite.

The yearly meeting of researchers in the field of concurrency theory D-CON takes place in Lübeck on March 7 and 8, 2013. Further details can be found on the  D-CON 2013 website.

Pages

Subscribe to Front page feed