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

Veranstaltungen im Sommersemester 2004

• Vorlesung Mathematische Logik für Informatiker (J. Flum, Y. Chen)
  Vorlesungen: Mo, Mi 11-13, Georges-Köhler-Allee
  Übungen: Fr 11-13, Georges-Köhler-Allee
• Vorlesung Modelltheorie (M. Ziegler, M. Junker)
  Vorlesung: Mo 17-19, Mi 9-11, SR 404 Eckerstraße 1
  Übungen: Fr 9-11, SR 318, Eckerstraße 1
• Vorlesung "Quantum Computing" (M. Prunescu)
  Mi 16-18, SR 404, Eckerstraße 1
• Seminar über "Model Checking" (H.-D. Ebbinghaus, J. Flum, S. Leue, B. Nebel)
  Mo 9-11, SR 02-017, Gebäude 52, Georges-Köhler-Allee
• Oberseminar über Modelltheorie und Algebra (J. Koenigsmann, A. Prestel, M. Ziegler)
  Mo 11-13, SR 318, Eckerstr. 1
• 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 über parametrische Komplexitätstheorie (J. Flum, M. Weyer)
  Do 11-13, SR 318, Eckerstr. 1

Graduiertenkolleg "Mathematische Logik und Anwendungen"

• Die obigen Vorlesungen und Seminare außer der Vorlesung "Logik für Informatiker"
• Kolloquium Mathematische Logik und Anwendungen
  Mo 14-16, SR 404, Eckerstraße 1