» beitrags-ARCHIV

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.

Weiterlesen »