1. 逻辑前沿报告 | 金子守 | 有认知界限的交互同情的知识逻辑 (北京大学)
时间:12/17 15:10-18:00
链接:https://mp.weixin.qq.com/s/2JMbPg38M2hEwaG8Xu4wlQ
2.计算复杂性下界的反推数学(南京大学)
时间:12/19 10:00
3.The 15th Tsinghua Logic Colloquium--Theoretical Topics on Formal Systems (清华大学)
时间:12/19 13:00-17:30
链接:http://tsinghualogic.net/JRC/the-15th-tsinghua-logic-colloquium/
4. 南开逻辑讲座第六十四期--Jing Zhang (南开大学)
时间:12/20 9:00-10:00
链接:https://mp.weixin.qq.com/s/VRX8EZWS0ZJ3fWxrx2ScwA
5.The Herwig-Lascar Property of Groups(哈尔滨工业大学)
时间:12/20 14:00-15:00
链接:https://mp.weixin.qq.com/s/JWUcDG0mEm35xHIAGJBrJw
6. The 19th International Conference and Workshops on Algorithms and Computation (电子科技大学)
时间:2025/02/28-2025/03/02
链接:https://tcsuestc.com/walcom2025
7. Δ23-workshop on logic (浙江科技大学)
时间:2025/03/15
链接:https://sites.google.com/view/yuliang/delta
了解每周数理逻辑活动,也可发邮件至cml@nankai.edu.cn订阅每周数理逻辑活动通知,或者关注微信公众号:数理逻辑视界