Events

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