From the 23rd to the 25th of September, the first summer school on runtime verification will take place. The summer school will be co-located with the 16th International Conference on Runtime Verification in Madrid, Spain. More information can be found here.

The Spring School on Engineering Trustworthy Software Systems will take place at Southwest University in Chongqing, China from the 28th of March the the 3rd of April this year. More information can be found on their page.

Der Kompetenzverbund Software Systems Engineering (KoSSE) bringt IT-Unternehmen und Forscher der Kieler und der Lübecker Universität in Projekten zusammen. Ein Artikel über die Arbeit und Ziele des KoSSE wurde kürzlich auf der IHK-Webseite veröffentlicht.

Zum Artikel.

Im Rahmen unseres Oberseminars findet der Vortrag

Scrum in der Praxis
von Frau Scheuplein (Fa. Dräger)
am Donnerstag, 21.01.2016, 16 Uhr, Raum Z1/2 im Zentralklinikum



Medical Device Interoperability, Safety, and Security Assurance

Workshop Date: April 11th, 2016
Further details can be found here.

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.

Subscribe to Front page feed