Events

• 2025-06-23 (Update) Mini-course by Joel David Hamkins 2025-06-23
• 2025-07-07 Workshop on Formal Philosophy 2025-07-07
• 2025-06-20 “宋文坚逻辑学奖学金”开放申请 2025-06-20
• 2025-06-03 June 3rd Talks by Graham Priest 2025-06-03
• 2025-05-27 May 27th Talk by Lu Wang 2025-05-27
• 2025-05-23 5月23日逻辑学专业博士研究生答辩通知 2025-05-23
• 2025-05-20 5月20日逻辑学专业硕士研究生答辩通知 2025-05-20
• 2025-05-13 May 13th Talk by Qi Feng 2025-05-13
• 2025-05-12 May 12th Talk by Yijia Chen 2025-05-12
• 2025-04-29 Apr. 29th Talk by Shichang Song 2025-04-29
• 2025-04-24 [PKU model theory seminar] Apr 24th: Adele Padgett 2025-04-24
• 2025-04-22 Apr. 22nd Talk by Liuzhen Wu 2025-04-22
• 2025-04-21 Apr. 21st Talk by Mikołaj Bojańczyk 2025-04-21
• 2025-04-17 [PKU model theory seminar] Apr 17th: Léo Jimenez 2025-04-17
• 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