Teaching

Winter 2023/24

• Mathematische Logik / Mathematical Logic (V3A5/F4A1) (Prof. Dr. Philipp Hieronymi)
  Mondays 14:15-16:00, Wednesdays 12:15-14:00, We10 Zeichensaal
• Hauptseminar Mathematische Logik - Das Auswahlaxiom (S2A2) (Dr. Regula Krapf)
  Wednesday 10:15-12:00, SemR 0.007
• Hauptseminar Angewandte Mathematische Logik (S2A4) (Prof. Dr. Peter Koepke)
  Thursdays 16:15-18:00, SemR 0.006
• Practical Project in Mathematical Logic (P4A1)/ Praktikum Mathematische Logik (P2A1) - Formalized Mathematics in Lean (Prof. Dr. Floris van Doorn)
  Tuesdays 16:15-18:00, Fridays 10:15-12:00, PC-Pool IAM, Endenicher Allee 60, Nebengebäude
• Practical Project in Mathematical Logic (P4A1)/ Praktikum Mathematische Logik (P2A1) (Prof. Dr. Peter Koepke)
  by appointment/nach Vereinbarung via koepke@math.uni-bonn.de
• Oberseminar Logik (Prof. Dr. Philipp Hieronymi)
  Mondays 16:30-18:00, N0.003 Neubau
• Begleitseminar (S3G1)/Master thesis seminar (S5G1) (Prof. Dr. Philipp Hieronymi)
  Tuesdays 10:15-12:00, N.008 Neubau

A list of lectures in past semesters