Events

• 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-29 Oct. 29th Talk by Lev Beklemishev 2024-10-29
• 2024-10-22 Oct. 22nd Talk by Mikołaj Bojańczyk 2024-10-22
• 2024-10-15 Oct. 15th Talk by Bruno Bentzen 2024-10-15
• 2024-10-10 10月10日逻辑学专业博士研究生开题报告通知 2024-10-10
• 2024-10-10 10月10日逻辑学专业硕士研究生开题报告通知 2024-10-10
• 2024-09-24 Sep. 24th Talk by Xinwen Liu 2024-09-24
• 2024-09-14 Call for Participants: CACML2024 2024-09-14
• 2024-09-02 Sep. 2nd Talks by Thomas Studer and Jieting Luo 2024-09-02
• 2024-07-11 [Updated!] July 11th Talk by Yde Venema 2024-07-11
• 2024-06-14 6月14日逻辑学专业博士研究生开题报告通知 2024-06-14
• 2024-06-03 [PKU model theory seminar] Jun 3rd: Nick Ramsey 2024-06-03
• 2024-05-31 5月31日逻辑学专业硕士研究生答辩通知 2024-05-31