Lehrveranstaltungen im Wintersemester 2019/20
Vorlesung Ausgewählte Kapitel der Logik: Lokalität
Dienstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'305
Donnerstag, 15-17, Schrödinger-Zentrum (RUD26), Raum 1'305
Prof. Dr. Nicole Schweikardt
Vorlesung Logik in der Informatik
Dienstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'305
Donnerstag, 11-13, Schrödinger-Zentrum (RUD26), Raum 1'305
Prof. Dr. Nicole Schweikardt
Seminar Perlen der Theoretischen Informatik
Blockseminar, Raum 3.408
Prof. Dr. Nicole Schweikardt, Dr. Markus Schmid
Seminar Aktuelle Themen der Theoretischen Informatik
Mittwochs 13-15, Johann von Neumann-Haus (RUD25), Raum 3.408
Prof. Dr. Christoph Berkholz