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

Veranstaltungen im Wintersemester 2005/06

• Vorlesung Mathematische Logik (J. Flum, O. Roche)
  Vorlesungen: Mo, Mi 9-11, SR 318, Eckerstraße 1
  Übungen: Di 14-16, SR 318, Eckerstraße 1.
• Vorlesung Logik für Informatiker (J. Flum, M. Müller)
  Vorlesungen: Di, Do 11-13, HS 00-036, Gebäude 101, Georges-Köhler-Allee.
  Übungen n.V.
• Proseminar (Vorlesung) Formale Logik (für Philosophen) (M. Junker)
  Vorlesung: Mi 16-18.
• Proseminar "Kombinatorik" (M. Junker)
  Di 14-16 Uhr, SR 127, Eckerstraße 1.
• Seminar "Logik und Komplexität" (J. Flum, M. Müller)
  Mi 11-13, SR 125, Eckerstraße 1.

Graduiertenkolleg "Mathematische Logik und Anwendungen"

• Seminar über "Model Checking" (B. Becker, J. Flum, G. Lausen, B. Nebel)
  Mo 16-18, HS 02-017, Gebäude 052, Georges-Köhler-Allee.
  
• Kolloquium Mathematische Logik und Anwendungen
  Mo 14-16, HS 02-017, Gebäude 052, Georges-Köhler-Allee.