Im Wintersemester 2016/2017 werden vom Lehrstuhl für Theoretische Informatik folgende Veranstaltungen angeboten:
