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

Veranstaltungen im Sommersemester 2006

• Vorlesung Funktionentheorie (M. Ziegler, M. Junker)
  Vorlesungen: Mo 11.30-13 HS Rundbau, Mi 9-11 HS II
  Übungen: nach Ankündigung
• Vorlesung Modelltheorie (J. Flum)
  Vorlesungen: Mo, Mi 9-11, SR 125, Eckerstraße 1
  Übungen: Fr 9-11, SR 318, Eckerstraße 1.
• Proseminar Universelle Algebra (M. Ziegler, M. Junker)
  Di 16-18 Uhr, SR 318, Eckerstraße 1.
• Seminar "Logik und Komplexität" (J. Flum, M. Müller)
  Mi 11-13, SR 318, Eckerstraße 1.
• Seminar Modelltheorie (M. Ziegler, O. Roche)
  Mi 11-13 Uhr, SR 218, Eckerstraße 1.
• Oberseminar "Stabilitätstheorie" (M. Ziegler, M. Junker)
  Di 11-13 Uhr, SR 318, Eckerstraße 1.

Graduiertenkolleg "Mathematische Logik und Anwendungen"

• Seminar über "Model Checking" (B. Becker, J. Flum, G. Lausen)
  Mo 16-18, Raum 01-016, Gebäude 101, Georges-Köhler-Allee.
  
• Oberseminar über Modelltheorie und Algebra (A. Prestel, M. Ziegler)
  Mo 15-17, SR 318, Eckerstraße 1.
• Kolloquium Mathematische Logik und Anwendungen
  Mo 14-16, HS 01-016, Gebäude 101, Georges-Köhler-Allee.