Events

• 2025-04-10 [PKU model theory seminar] Apr 10th: Forte Shinko 2025-04-10
• 2025-04-08 Minicourse on Martin-Löf and Homotopy Type Theory 2025-04-08
• 2025-04-03 [PKU model theory seminar] Apr 3rd: Sam Braunfeld 2025-04-03
• 2025-03-27 Mar. 27th Talk by Wangzhou Dai 2025-03-27
• 2025-03-20 [PKU model theory seminar] Mar 20th: Wentao Yang 2025-03-20
• 2025-03-18 Mar. 18th Talk by George Barmpalias 2025-03-18
• 2025-03-13 Mar. 13th Talk by Guanglong Luo 2025-03-13
• 2025-03-06 [PKU model theory seminar] Mar 6th: Junguk Lee 2025-03-06
• 2025-03-04 Mar. 4th Talk by Haosui Duanmu 2025-03-04
• 2025-02-27 [PKU model theory seminar] Feb 27th: Aris Papadopoulos 2025-02-27
• 2025-02-20 [PKU model theory seminar] Feb 20th: Adrian Portillo Fernandez 2025-02-20
• 2025-02-18 Feb. 18th Talk by Han Xiao 2025-02-18
• 2025-02-13 [PKU model theory seminar] Feb 13th: Pierre Touchard 2025-02-13
• 2025-01-10 【2025年春季学期课程】Kyle Gannon：o-minimality 2025-01-10
• 2025-01-02 [PKU model theory seminar] Jan 2nd: Jinhe (Vincent) Ye 2025-01-02
• 2024-12-31 12月31日逻辑学专业博士研究生预答辩通知 2024-12-31
• 2024-12-18 [PKU model theory seminar] Dec 18th: Tomasz Rzepecki 2024-12-18
• 2024-12-17 Dec. 17th Talk by Mamoru Kaneko 2024-12-17
• 2024-12-11 [PKU model theory seminar] Dec 11th: Daniel Max Hoffmann 2024-12-11
• 2024-12-03 2024年度“宋文坚逻辑学奖学金”评选结果 2024-12-03