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

Veranstaltungen im Wintersemester 2006/07

• Vorlesung "Mengenlehre" (H.-D. Ebbinghaus, M. Müller)
  Vorlesungen: Mo 16-17, Do 16-18, HS II Albertstraße 23b
  Übungen: Mo 17-18, HS II Albertstraße 23b.
  Achtung: Beginn der Vorlesung am 2. November 2006!
• Vorlesung Logik für Informatiker (M. Ziegler, O. Roche)
  Vorlesungen: Mo 16-17, Mi 9-11, HS 00-026 Gebäude 101, Georges-Köhler-Allee.
  Übungen n.V.
• Proseminar/Vorlesung Formale Logik (für Philosophen) (M. Junker)
  Vorlesung: Do 14-16 HS 2121
  Tutorium (Frieder Vogelmann): Mo 16-18 Uhr, HS 3118
• Seminar "Logik und Komplexität" (J. Flum, M. Müller)
  Mi 9-11, SR 318, Eckerstraße 1.
• Seminar "Modelltheorie" (M. Ziegler, M. Junker)
  Mi 11-13, SR 318, Eckerstraße 1.
• Oberseminar über Stabilitätstheorie (M. Ziegler, M. Junker)
  Di 11-13, SR 318, Eckerstraße 1.

Graduiertenkolleg "Mathematische Logik und Anwendungen"

• Oberseminar über Modelltheorie und Algebra (J. Koenigsmann, A. Prestel, M. Ziegler)
  Mo 11.30-13, SR 318, Eckerstraße 1.
• Kolloquium Mathematische Logik und Anwendungen
  Mo 14-16, HS 02-017, Gebäude 052, Georges-Köhler-Allee.
  
• Seminar über "Model Checking" (B. Becker, J. Flum, G. Lausen, B. Nebel)
  Mo 16-18, SR 404, Eckerstraße 1.