Das CCS lädt herzlich ein zu Prof. Dr. Zeumes Antrittsvorlesung “Sketches of Dynamic Descriptive Complexity”! Dr. Thomas Zeume ist Professor für Logik und formelle Verifikation an der Fakultät für Mathematik. Lernen Sie seine Forschungsinteressen kennen und entdecken Sie die logische Perspektive von Datenbank-Suchanfragen im Kontext dynamischer Daten. Den Abstrakt zum Vortrag finden Sie in der folgenden PDF-Datei.
Wann? 16. Dezember 2020, 16 Uhr
Wo? Via Zoom (Meeting-ID: 949 6884 3467, Passwort 540950)
Zur Teilnahme ist keine Anmeldung nötig. Alle Interessenten sind herzlich willkommen!