Albert-Ludwigs-Universität Freiburg Fakultät für Mathematik und Physik   Mathematisches Institut   Abteilung für Mathematische Logik

Veranstaltungen im Wintersemester 2003/04

• Vorlesung "Mathematische Logik" (M. Ziegler, O. Roche)
  Vorlesung: Mo 17-19, SR 404 Eckerstraße 1, und Mi 9-11, SR 226 Hermann-Herder-Straße 10
  Übungen: nach Vereinbarung
• Vorlesung "Mengenlehre" (H.-D. Ebbinghaus, Y. Chen)
  Vorlesungen: Di, Do 14-16, SR 404 Eckerstraße 1
  Übungen: Fr 11-13, SR 318, Eckerstr. 1
• Vorlesung "Formale Logik" (für Philosophen) (M. Junker)
  Vorlesung: Di 11-13, HS 3042, KG III.
  Übung: Do 14.00-14.45, HS 3042, ab 30.10.: HS 3044, KG III.
• Oberseminar über Stabilitätstheorie (M. Ziegler)
  Di 11-13, SR 318, Eckerstr. 1
• Seminar über endliche Modelltheorie (H.-D. Ebbinghaus, M. Weyer)
  Di 17-19, SR 318, Eckerstr. 1
• Seminar über Modelltheorie (M. Ziegler, M. Junker/M. Weyer)
  Mi 11-13, SR 318, Eckerstr. 1
• Oberseminar über Mathematische Logik (H.-D. Ebbinghaus, M. Ziegler)
  Vortragsliste
  Do 11-13, SR 318, Eckerstr. 1

Graduiertenkolleg "Mathematische Logik und Anwendungen"

• Kompaktkurs "Bewertungstheorie" (A. Prestel)
  Vorlesungen: Mo 6.10. - Mi 8.10, 11-13 Uhr und 15-17 Uhr, SR 318 Eckerstraße 1
  eventuell auch am Do. 9.10.

• Vorlesung "Berechnungskomplexität über algebraischen Strukturen" (M. Prunescu)
  Mi 17-19, SR 403, Eckerstraße 1.
• Seminar über "Model Checking" (H.-D. Ebbinghaus, G. Lausen, S.Leue, B. Nebel),
  Mo 11-13, SR 02-017, Gebäude 52, Georges-Köhler-Allee.
• Seminar "Modelltheorie und Algebra" (J. Koenigsmann, A. Prestel, M. Ziegler)
  Mo 11-13, SR 318, Eckerstr. 1
• Seminar über endliche Modelltheorie (H.-D. Ebbinghaus, M. Weyer)
  Di 17-19, SR 318, Eckerstr. 1
• Kolloquium "Mathematische Logik und Anwendungen"
  Mo 14-16, SR 404, Eckerstraße 1.