Events

• 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
• 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