DFG-Graduiertenkolleg
Mathematische Logik und Anwendungen

GK-Logo

Vorlesungen und Seminare

J. Flum Vorlesung Mathematische Logik
M. Ziegler Vorlesung Modelltheorie 2
J. Flum Arbeitsgemeinschaft Logik und Komplexität
B. Becker, J. Flum, G. Lausen, B. Nebel, A. Podelski Seminar Model Checking
M. Ziegler Seminar Modelltheorie
J. Koenigsmann, A. Prestel, M. Ziegler Oberseminar Modelltheorie und Algebra
M. Ziegler Oberseminar Stabilitätstheorie
Die Dozenten des Graduiertenkollegs Kolloquium DFG-Graduiertenkolleg "Mathematische Logik und Anwendungen"