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
Last updated: 24.6.2026
