1. Four new methods for analyzing counts : VFL models, 2-PLFs, GAITD regression and DRR-VGLMs（山东大学）
时间：2026/09/15 15:00
链接：https://mp.weixin.qq.com/s/77GjfSsaVQ7uvBaNf21RVw
2. Cyclic Proofs with Nested Sequents（北京大学）
时间：2026/09/15 15:10-18:00
链接：https://mp.weixin.qq.com/s/aYD6UvN_GE_nVDhU2hw-WQ
3. AGM-like Paraconsistent Partial Meet Abductive Expansion Operation（清华大学）
时间：2026/09/17 14:00-15:30
链接：https://mp.weixin.qq.com/s/8AcQzxQpA5aCK_s8mYNn9g
4. Solving the Bergstra-Tucker problem: an algebra without finitely presented expansions（清华大学）
时间：2026/09/17 16:00-17:30
链接：https://mp.weixin.qq.com/s/rK13vKqcY11gsHhs8zpxTA
5. Some Random Thoughts on Wisdom, Statistics and Life（山东大学）
时间：2026/09/17 19:00
链接：https://mp.weixin.qq.com/s/dE53lMNjy28zuODmh_geDA
了解每周数理逻辑活动，也可发邮件至