Neue Professuren für Informatik
Das CCS wächst weiter: Drei neue Professuren verstärken die Informatik ab dem Wintersemester 2020/2021.
» beitrags-ARCHIV
Tag der Informatik
Save the Date! Am 17. Februar veranstaltet das CCS den ersten Tag der Informatik an der RUB. Das digitale Netzwerk-Event bringt alle informatikaffinen Arbeitsgruppen der RUB zusammen.
Antrittsvorlesung Prof. Dr. Zeume
Das CCS lädt am 16.12.2020 herzlich ein zu Prof. Dr. Zeumes Antrittsvorlesung “Sketches of Dynamic Descriptive Complexity”! Lernen Sie den Professor für Logik und formelle Verifikation und seine Forschungsinteressen in einem spannenden Vortrag kennen.
100-prozentig zuverlässige Netze
Wenn das Video mal ruckelt, ist das verschmerzbar. Aber in neuen Anwendungen kann es auch um Leben und Tod gehen.