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

Veranstaltungen im Wintersemester 2007 / 2008

• Vorlesung " Modelltheorie "  (M. Ziegler, N. Frohn)
  Vorlesungen: Mo 16-18, Mi 9-11, SR 404 Eckerstraße 1,  2stündige Übungen dazu - n.V.,Mitwirkung bei den Übungen - Nina Frohn.
  
• Vorlesung " Rekursionstheorie "  (M. Ziegler)
  Vorlesungen: Mo 14-16 Uhr, abwechselnd mit dem Graduiertenkolloquium.
  
• Vorlesung " Logik für Informatiker "  (J. Flum, M. Müller)
  Vorlesungen: Mo 9-11, Mi 9-11, HS 00-026, Geb. 101, Georges-Köhler-Allee, Übungen dazu.
  
• Proseminar " Formale Logik für Philosophen"  (M. Müller)
  Do 14-16, HS 1098, KG I. Tutorium: Björn Lellmann.
•  Arbeitsgemeinschaft "Logik und Komplexität" (J. Flum, M.Müller)
  Fr 8-10, SR 125, Eckerstraße 1, Tutorium dazu - n.V.
  
• Seminar "Modelltheorie" (M. Ziegler,  N. Frohn, O.Roche)
  Mi 11-13, SR 318, Eckerstraße 1.
• Oberseminar über Stabilitätstheorie (M. Ziegler, O. N. Frohn )
  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 127 Eckerstraße 1, siehe Ankündigung.
  
• Seminar Model-Checking (B. Becker, J. Flum, G. Lausen, B. Nebel, A. Podelski)
  Mo 16-18, SR 414 Eckerstraße 1.