1. Truth and Finite Conjunction （北京大学）
时间：2025/03/13 15:10-18:00
链接：https://logic.pku.edu.cn/xzdt/zxtz/540170.htm
2. 南开逻辑讲座第七十期--Spencer Unger（南开大学）
时间：2025/03/14 09:00
链接：https://mp.weixin.qq.com/s/DIDsf_VdLzVvoLuIYrO9qA
3. Mini Course on Type Theory and Lean （复旦大学）
时间：2025/03/14 14:25-17:05
2025/03/15 09:55-12:30
链接：http://logic.fudan.edu.cn/event2025/lean
了解每周数理逻辑活动，也可发邮件至cml@nankai.edu.cn订阅每周数理逻辑活动通知，或者关注微信公众号：数理逻辑视界