Veranstalter Lehrstuhl Informatik I - Logik in der Informatik
Ort Otto-Hahn-Str. 12 / Raum 3.031
Zeit Montags, 16:15 Uhr