Events

• 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
• 2024-12-03 Dec. 3rd Talk by Diego Fernandes 2024-12-03
• 2024-11-26 Nov. 26th Talk by Hanyu Li 2024-11-26
• 2024-11-20 [PKU model theory seminar] Nov 20th: James E. Hanson 2024-11-20
• 2024-11-13 [PKU model theory seminar] Nov 13th: Atticus Stonestrom 2024-11-13
• 2024-11-12 Nov. 12th Talk by Lukas Zenger 2024-11-12
• 2024-11-10 Workshop: Many Facets of Epistemic Logic 2024-11-10
• 2024-11-06 [PKU model theory seminar] Nov 6th: Nigel Pynn-Coates 2024-11-06
• 2024-11-05 Nov. 5th Talk by Hans van Ditmarsch 2024-11-05
• 2024-10-31 Minicourse on Provability Logic and Reflection Algebras 2024-10-31
• 2024-10-30 [PKU model theory seminar] Oct 30th: Chuyin Jiang 2024-10-30
• 2024-10-30 Chinese Annual Conference on Mathematical Logic 2024 held at PKU 2024-10-30
• 2024-10-29 Oct. 29th Talk by Lev Beklemishev 2024-10-29
• 2024-10-22 Oct. 22nd Talk by Mikołaj Bojańczyk 2024-10-22