Lehrveranstaltungen im Wintersemester 2019/2020

Im Wintersemester 2019/2020 finden die folgenden Lehrveranstaltungen statt:

• Theoretische Informatik I
• Theorie der Programmiersprachen
• Pro- und Hauptseminar