DFG-Graduiertenkolleg
Mathematische Logik und
Anwendungen
DFG-Graduiertenkolleg |
|
| 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" |