1. 弗雷格关于量词和普遍性的论述（中山大学）
时间：2026/03/25 15:00-17:00
链接：https://mp.weixin.qq.com/s/eceo09L5Pa-1eDEHmSjf0A
2. 大语言模型符号推理的消解思维链（清华大学）
时间：2026/03/26 16:00-17:30
链接：https://mp.weixin.qq.com/s/xn5C-lL0rZCJGTHPiwPzCw
3. On a problem of Fritz, Netzer, and Thom（复旦大学）
时间：2026/03/30 16:00
链接：https://mp.weixin.qq.com/s/uo2ejUBTVxaYiX_ea0vX2g
了解每周数理逻辑活动，也可发邮件至