Homepage of Yong Cheng
All videos of LFM lectures are avaliable at bilibili (Bili) for local people and youtube (YT) for foreign people.
Lecture Title: Subjective probability and rational choice
Date and Time：2023-12-27, 19:00-21:00 Beijing time (UTC+8)
Speaker: Prof. Wei Xiong (Sun Yat-sen University, China)
Lecture Title: Reverse Mathematics: classifying theorems
Date and Time： 2023-12-21, 15:30-17:30 Beijing Time (UTC+8)
Speaker: Keita Yokoyama (Tohoku University, Japan)
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)
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)
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)
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)
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)
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)
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)
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)
