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

Veranstaltungen im Sommersemester 2007

• Vorlesung "Mathematische Logik"  (M. Ziegler, N. Frohn)
  Vorlesungen: Mo 16-18, HS II Albertstraße 23b, Mi 9-11, SR 404 Eckerstraße 1,  2stündige Übungen dazu - n.V., Mitwirkung bei den Übungen - n.V.
  
•  Arbeitsgemeinschaft "Logik und Komplexität" (J. Flum, M. Müller)
  Mi 9-11, SR 125, Eckerstraße 1, Tutorium dazu - n.V.
  
• Seminar "Modelltheorie" (M. Ziegler,  B. Afshordel)
  Mi 11-13, SR 318, Eckerstraße 1.
• Oberseminar über Stabilitätstheorie (M. Ziegler, O.  Roche)
  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-13, SR 318, Eckerstraße 1.
• Kolloquium Mathematische Logik und Anwendungen (Dozenten des Graduiertenkollegs)
  Mo 14-16, SR 404 Eckerstraße 1, siehe Ankündigung.
  
• Seminar "Methoden der Verifikation" (B. Becker, J. Flum, G. Lausen, B. Nebel, A. Podelski)
  Mo 16-18, SR 404 Eckerstraße 1.
  

• Vorlesung "Test und Zuverlässigkeit" (B. Becker, I. Polian)
  Di 14-15, Do 11-13 HS 03026, Gebäude 051 Georges-Köhler-Allee, Übungen dazu Di 15-16, ebd.