LFM Online Seminar

• Lecture Title: Truthmaker Semantics
• Date and Time： 2023-12-06, 16:00-18:00 Beijing Time (UTC+8)
• Speaker: Kit Fine (New York University, USA)

LFM Online Seminar

• Lecture Title: New results on incompleteness and ordinal analysis
• Date and Time： 2023-11-08, 19:00-21:00 Beijing Time (UTC+8)
• Speaker: James Walsh (New York University, USA)

LFM Online Seminar

• Lecture Title: On Algorithm
• Date and Time： 2023-10-25, 15:30-17:30 Beijing Time (UTC+8)
• Speaker: Yue Yang (National University of Singapore)

LFM Online Seminar

• Lecture Title: Goodstein walks and Gödel incompleteness
• Date and Time： 2023-10-20, 19:00-21:00 Beijing Time (UTC+8)
• Speaker: David Fernández-Duque (University of Barcelona, Spain)

LFM Online Seminar

• Lecture Title: Lecture series on concrete incompleteness
• Date and Time： From 2023-07-31 to 2023-08-04, each day 10:00-12:00 Beijing Time (UTC+8)
• Speaker: Prof. Andreas Weiermann (Ghent University, Belgium)

LFM Online Seminar

• Lecture Title: Soundness Spectra
• Date and Time： 2023-06-07, 19:00-21:00 Beijing Time (UTC+8)
• Speaker: Juan P. Aguilera (Vienna University of Technology, Austria; Ghent University, Belgium)

LFM Online Seminar

• Lecture Title: The pre-history of automated reasoning
• Date and Time： 2023-05-17, 19:00-21:00 Beijing Time (UTC+8)
• Speaker: Prof. Richard Zach (University of Calgary, Canada)

LFM Online Seminar

• Lecture Title: On the (non)existence of proof sytems in universal proof theory
• Date and Time： 2023-04-26, 19:00-21:00 (UTC+8)
• Speaker: Prof. Rosalie Iemhoff (Utrecht University, The Netherlands)