Vorlesung
Modelltheorie II (M. Ziegler,
N. Frohn)
Vorlesungen: Mo 16-18, Mi 9-11, SR 403 Eckerstraße 1, 2stündige Übungen dazu - n.V., Mitwirkung bei den Übungen - Nina Frohn.
Vorlesung
Mathematische Logik (J. Flum, B. Afshordel)
Vorlesungen: Mo 9-11, Mi 9-11, HS Weismann-Haus, Albertstr. 21, 2stündige Übungen dazu - n.V., Mitwirkung bei den Übungen, B. Afshordel.
Kolloquium Mathematische Logik und Anwendungen (Dozenten des
Graduiertenkollegs)
Mo 14-16, SR 01-016, Geb. 101, Georges-Köhler-Allee, siehe Ankündigung.
Seminar Model-Checking (B. Becker, J. Flum, G. Lausen, B. Nebel, A. Podelski)
Mo 16-18, SR 01-016, Geb. 101, Georges-Köhler-Allee