Die Logische und Funktionale Programmierung Vorlesung am 10.12.2015 fällt aus wegen Konsulinbesuch und feierliche Eröffnung der Informatik Labore.