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

Veranstaltungen im Wintersemester 2004/05

• Vorlesung Mathematische Logik (J. Flum, M. Müller)
  Vorlesungen: Mo, Mi 9-11, SR 318, Eckerstraße 1
  Übungen: Fr 11-13, SR 318, Eckerstraße 1
  
• Vorlesung Modelltheorie II (M. Ziegler, M. Junker)
  Vorlesung: Mo 17-19, Mi 9-11, SR 414 Eckerstraße 1
  Übungen: Fr 16-18, SR 318, Eckerstraße 1.
• Vorlesung "Formale Logik" (für Philosophen) (M. Junker)
  Vorlesung: Mi 14-16, HS 1, Alte Universität.
• Oberseminar über Stabilitätstheorie (M. Ziegler, M. Junker)
  Di 11-13, SR 318, Eckerstr. 1
• Seminar über Modelltheorie (M. Ziegler, O. Roche)
  Mi 11-13, SR 318, Eckerstr. 1
• Seminar "Logik und Komplexität" (J. Flum, M. Weyer)
  Mi 11-13, SR 218, Eckerstr. 1

Graduiertenkolleg "Mathematische Logik und Anwendungen"

• Seminar über "Model Checking" (H.-D. Ebbinghaus, J. Flum, G. Lausen, B. Nebel)
  Mo 16-18, SR 318 Eckerstraße 1
  
• Oberseminar über Modelltheorie und Algebra (J. Koenigsmann, A. Prestel, M. Ziegler)
  Mo 11-13, SR 318, Eckerstr. 1
• Kolloquium Mathematische Logik und Anwendungen
  Mo 14-16, SR 404, Eckerstraße 1
• Vorlesung "Algebraische Codierungstheorie" (M. Prunescu)
  Di 16-18, SR 226, Hermann-Herder-Straße 10.