1. The Parameterized Inapproximability Hypothesis （电子科技大学）
时间：2025/02/26 09:00-10:00
链接：https://tcsuestc.com/2025/02/26/the-parameterized-inapproximability-hypothesis/
2. Design of Enumeration Algorithms: A Tool to Assist 4IR （电子科技大学）
时间：2025/02/27 10:30-11:30
链接：https://tcsuestc.com/2025/02/27/design-of-enumeration-algorithms-a-tool-to-assist-4ir/
3. 时态STIT逻辑的公理化问题 （清华大学）
时间：2025/02/27 14:00-15:30
链接：https://mp.weixin.qq.com/s/hrog2R2KQV3h-xBrrCwH8g
4. 模型构造的模态逻辑 （清华大学）
时间：2025/02/27 18:00-19:30
链接：https://mp.weixin.qq.com/s/PLxSXOAxLUfcizNJk9RHjQ
5. 南开逻辑讲座第六十八期--方楠 （南开大学）
时间：2025/02/28 16:00
链接：https://mp.weixin.qq.com/s/DGvM0suiig6CUSmx4nMY0A
了解每周数理逻辑活动，也可发邮件至cml@nankai.edu.cn订阅每周数理逻辑活动通知，或者关注微信公众号：数理逻辑视界