News

Jürgen at 4ing

Jürgen at 4ing Our dean attends the "Fakultätentage der Ingenieurwissenschaften und der Informatik an Universitäten". Our faculty gets awarded the Gütesiegel des Fakultaetentages fuer Maschinenbau und Verfahrenstechnik.-4ing-

Oberseminar

Oberseminar Today Rebecca will speak about her research.

Kolloquium

Kolloquium Prof. Dr. Heribert Vollmer from Leibniz Universität Hannover will speak on "The Tractability of Model-Checking for LTL: The Good, the Bad and the Ugly Fragments". -Heribert Vollmer-