2022 World Logic Day Lecture & LFM lecture

• Lecture Title: Methodological frames: mathematical structuralism and proof theory
• Date and Time：2022-01-14, 20:00-22:00 Beijng time (UTC+8)
• Speaker: Prof. Wilfried Sieg (Carnegie Mellon University, USA)
• See here for the abstract. See here for the worldwide 2022 World Logic Day events.

LFM Online Seminar

• Lecture Title: The Provability of Consistency: Debunking the Myth
• Date and Time： 2022-04-14，9:30-11:30 am Beijng Time (UTC+8)
• Speaker: Prof. Sergei Artemov (The City University of New York, USA)

LFM Online Seminar

• Lecture Title: Normal forms of proofs in natural deduction I: existence and uniqueness
• Date and Time： 2022-11-09，19:00-21:00 Beijng Time (UTC+8)
• Speaker: Prof. Helmut Schwichtenberg (Ludwig-Maximilians-Universität Munich, Germany)

LFM Online Seminar

• Lecture Title: Normal forms of proofs in natural deduction II: complexity
• Date and Time： 2022-11-16，19:00-21:00 Beijng Time (UTC+8)
• Speaker: Prof. Helmut Schwichtenberg (Ludwig-Maximilians-Universität Munich, Germany)

LFM Online Seminar

• Lecture Title: The Art of Ordinal Analysis
• Date and Time： 2022-11-30，19:00-21:00 Beijng Time (UTC+8)
• Speaker: Prof. Michael Rathjen (University of Leeds, UK)

LFM Online Seminar

• Lecture Title: Essential Hereditary Undecidability
• Date and Time： 2022-12-12，19:00-21:00 Beijng Time (UTC+8)
• Speaker: Prof. Albert Visser (Utrecht University, The Netherlands)