Teaching

Winter 2026/27

• Advanced Mathematical Logic I - Tame Geometry (V4A7) (Prof. Dr. Philipp Hieronymi)
  Mondays 14-16, Wednesdays 12-14, Zeichensaal
• Axiomatic Set Theory, Formalized in Natural Language (P2A1/P4A1) (Prof. Dr. Peter Koepke)
  Tuesdays 16-18, Wednesdays 16-18, N 0.008
• Graduate Seminar in Applied Logic - Topics in Applied Model Theory (S4A6) (Prof. Dr. Philipp Hieronymi, Dr. Stefan Ludwig)
  Fridays 10-12, SemR 0.007

Summer 2026

• Advanced Mathematical Logic II - Advanced Model Theory (V4A8) (Dr. Tingxiang Zou)
  Mondays 14-16, Wednesdays 12-14, We10/Zeichensaal
• Advanced Topics in Mathematical Logic - Computability (V5A7) (Dr. Marcus Kühn)
  Tuesdays 14-16, SemR 0.008, Thurdays 14-16, SemR 1.008
• Graduate Seminar in Logic (S4A4) (Prof. Dr. Philipp Hieronymi)
  Wednesday 10-12, SemR 0.006
• Oberseminar Logik (Prof. Dr. Philipp Hieronymi, Dr. Tingxiang Zou)
  Mondays 16:30-18:00, SemR 1.008
• Begleitseminar (S3G1)/Master thesis seminar (S5G1) (Prof. Dr. Philipp Hieronymi, Dr. Tingxiang Zou)
  Tuesdays 10:15-12:00, SemR 0.003

A list of lectures in past semesters