未来一周数理逻辑活动(12.16-12.22)及两个会议通知

发布者:赵啟皓发布时间:2024-12-15动态浏览次数:30

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订阅每周数理逻辑活动通知,或者关注微信公众号:数理逻辑视界