18.04.2018
 

Auf der diesjährigen Langen Nacht der Forschung wurde die Fakultät für Informatik durch Karolin Winter und Manuel Gall vertreten. Sie präsentierten...

16.04.2018
 

Am 11. April fand im Hörsaal 3 die jährliche Fakultätsveranstaltung der Fakultät für Informatik inklusive der Best-of-the-Best-Auszeichnungen statt....

13.04.2018
 

Englischsprachiges Schreibmentoring für Master Programme

Im Sommersemester 2018 wird erstmals auch eine englischsprachige Schreibmentoring-Gruppe angeboten. Dieses kostenlose Angebot richtet sich an alle...

12.04.2018
 

Our paper " Taking Control of SDN-based Cloud Systems via the Data Plane" wins best paper award ...

09.04.2018
 

CAV 2018

The Paper "Symbolic Algorithms for Graphs and Markov Decision Processes with Fairness Objectives" by Krishnendu Chatterjee, Monika Henzinger, Veronika...

09.04.2018