LFM Online Lecture

• Lecture Title: What is concrete incompleteness?
• Date and Time：2021-12-22, 9:00-11:30 Beijng time (UTC+8)
• Speaker: Prof. Colin McLarty (Case Western Reserve University, USA)

LFM Online Lecture

• Lecture Title: Cyclic Henkin Logic: Is there Life beyond Löb’s Third Condition?
• Date and Time：2021-06-22, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Albert Visser (School of Philosophy, Utrecht University, Netherlands)

LFM Online Lecture

• Lecture Title: Flexible Turing Machines
• Date and Time：2021-06-15, 9:00-11:00 Beijing Time (UTC 1:00-3:00)
• Speaker: Prof. Ali Enayat (Professor of Logic, University of Gothenburg, Sweden)

LFM Online Lecture

• Lecture Title: The journey from Peano Arithmetic to proof complexity
• Date and Time： 2021-05-18, 16:00-18:00 Beijing Time (UTC 8:00-10:00)
• Speaker: Prof. Pavel Pudlák (Mathematical Institute of the Czech Academy of Sciences, Czech)

LFM On-site Lecture

• Lecture Title: Equivalence relation and Borel reduction
• Date and Time： 2021-04-17, 9:30-11:30 Beijing Time （UTC 1:30-3:30)
• Speaker: Prof. Longyun Ding (School of Mathematical Sciences, Nankai University, China)

LFM Online Lecture

• Lecture Title: Interactive theorem proving and the Lean theorem prover
• Date and Time： 2021-04-07, 9:30-11:30 Beijing Time （UTC 1:30-3:30)
• Speaker: Prof. Jeremy Avigad (Department of Philosophy and Mathematical Sciences, Carnegie Mellon University, USA)

LFM Online Lecture

• Lecture Title: Well ordering principles and a uniform Kruskal theorem
• Date and Time： 2021-03-23, 16:00-18:00 Beijing Time （UTC 8:00-10:00)
• Speaker: Dr. Anton Freund (Department of Mathematics, Technical University of Darmstadt, Germany)

LFM Online Lecture

• Lecture Title: Proof Theory: From the Foundations of Mathematics to Applications in Core Mathematics
• Date and Time： 2021-03-09, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Ulrich Kohlenbach (Department of Mathematics, Technical University of Darmstadt, Germany)

LFM Online Lecture

• Lecture Title: Some simple proofs in Reverse Mathematics
• Date and Time： 2021-02-26, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Yue Yang (School of Mathematics，National University of Singapore, Singapore)

LFM Online Lecture

• Lecture Title: Reflection Algebras and Progressions
• Date and Time： 2020-01-21, 16:00-18:00 Beijing time (UTC 8:00-10:00)
• Speaker: Prof. Lev D. Beklemishev (Steklov Institute of Mathematics, Russian Academy of Sciences)

LFM Online Lecture

• Lecture Title: Kurt Gödel and Alfred Tarski:The Extremes of Logic
• Date and Time： 2021-01-14, 19:30-21:30 Beijing time（UTC 11:30-13:30）
• Speaker: Prof. Matthias Baaz (Department of Mathematics，Vienna University of Technology)

LFM Online Lecture

• Lecture Title: Analysis of Leibniz’s Dream
• Date and Time： 2021-01-14, 15:30-17:30 Beijing time（UTC 7:30-9:30）
• Speaker: Prof. Qi Feng (Academy of Mathematics and Systems Science, Chinese Academy of Sciences)

LFM Online Lecture

• Lecture Title: A logical problem from Reverse Mathematics
• Date and Time： 2021-01-05, 15:00-17:00 Beijing time（UTC 7:00-9:00)
• Speaker: Prof. Chong Chi Tat (School of Mathematics, National University of Singapore)