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

Veranstaltungen im Sommersemester 2005

• Vorlesung Diskrete Algebraische Strukturen (M. Ziegler, O. Roche)
  Vorlesung: Mo 11.30-13, Mi 9-11, HS 00-036, Georges-Köhler-Allee
  Übungen: n.V.
• Vorlesung "Modelltheorie" (J. Flum, M. Müller)
  Vorlesungen: Mo, Mi 9-11, SR 404, Eckerstraße 1
  Übungen: Fr 9-11, SR 218, Eckertstarße 1.
• Vorlesung omega-stabile Gruppen und Cherlins Vermutung (M. Junker)
  Mi 16-18, SR 125, Eckerstraße 1
• Oberseminar über Stabilitätstheorie (M. Ziegler, M. Junker)
  Di 11-13, SR 318, Eckerstr. 1
• Seminar "Logik und Komplexität" (J. Flum, M. Weyer)
  Mi 11-13, SR 318, Eckerstr. 1
• Seminar über Modelltheorie (M. Ziegler, M. Junker)
  Mi 11-13, SR 414, Eckerstr. 1

Graduiertenkolleg "Mathematische Logik und Anwendungen"

• Die obigen Vorlesungen und Seminare außer der Vorlesung "Diskrete algebraische Strukturen"
• Kolloquium Mathematische Logik und Anwendungen
  Mo 14-15, HS 02-017, Gebäude 52, Georges-Köhler-Allee.
• Oberseminar über Modelltheorie und Algebra (J. Koenigsmann, A. Prestel, M. Ziegler)
  Mo nachmittag. Zeit und Ort wechselnd, nach Ansage auf der Seminarseite!
• Seminar über "Model Checking" (B. Becker, H.-D. Ebbinghaus, J. Flum, G. Lausen, B. Nebel)
  Mo 16-18, SR 02-017, Gebäude 52, Georges-Köhler-Allee.
• Vorlesung "Algorithmische Informationstheorie" (M. Prunescu)
  Di 16-18, SR 125, Eckerstraße 1