News Call for Participants: Chinese Annual Conference on Mathematical Logic 2024 (CACML24) Four presentations at AiML2024 from the PKU logic group Annual Report of PKU Center of Logic, Language, and Cognition (2023) 6月4日 龚霖振、邓徐冰报告 5月28日 唐闻、马千里报告 Events 09-02 Sep. 2nd Talks by Thomas Studer and Jieting Luo 07-11 [Updated!] July 11th Talk by Yde Venema 06-14 6月14日逻辑学专业博士研究生开题报告通知 06-03 [PKU model theory seminar] Jun 3rd: Nick Ramsey 05-31 5月31日逻辑学专业硕士研究生答辩通知 Seminars 06-01 Jun 4th Talks by Xubing Deng and Linzhen Gong 05-27 May 28th Talks by Wen Tang and Qianli Ma 05-17 May 21st Talks by Bo Hong and Yunsong Wang 05-10 May 16th Talk by Guozhen Shen Quick links 《逻辑学前沿问题》本学期计划 北京大学哲学系逻辑学研究生手册 2024秋季学期开设课程 北京大学“宋文坚逻辑学奖学金”评审办法 LaTeX模板及Word常用逻辑符号集 北京大学图书馆所购买的逻辑学相关期刊 招生信息 逻辑学科点介绍 博士生招生简介 博士生招生方向 博士生复试要求 硕士生招生简介 推免生复试要求 常用链接 【LLCC】北京大学语言•逻辑•认知•计算跨学科论坛 中山大学逻辑与认知研究所 西南大学逻辑与智能研究中心 浙江大学语言与认知研究中心 清华大学-阿姆斯特丹逻辑学联合研究中心 【ILLC】荷兰阿姆斯特丹大学逻辑、语言与计算研究所(ILLC) 【CSLI】美国斯坦福大学语言与信息研究中心(CSLI) 【LORI】ILLC“逻辑与理性”交互小组 英国伦敦国王学院“逻辑、语言和计算”小组 复旦大学数理逻辑小组