2025 春季常规讨论班
2025 年 5 月 21 日
时间：10:00
地点：电院 3-320
议题：The Tractability Border of Reachability in Simple Vector Addition Systems with States
报告人：郑扬珞
论文链接：同前(4月30日)
2025 年 5 月 14 日
时间：10:00
地点：电院 3-320
议题：On linear path schemes
报告人：傅育熙
2025 年 5 月 7 日
时间：10:30
地点：电院 3-320
议题：3-VASS and related problems
2025 年 4 月 30 日
时间：10:00
地点：电院 3-320
2025 年 4 月 23 日
时间：10:00
地点：电院 3-320
议题：On Pushdown VASS (II)
报告人：薛成峰
2025 年 4 月 16 日
时间：10:00
地点：电院 3-320
议题：Reachability in 3-VASS is Elementary (Part III)
报告人：杨启哲
论文链接：同前(3月19日)
2025 年 4 月 2 日
时间：9:30
地点：电院 3-320
议题：On Pushdown VASS
报告人：薛成峰
2025 年 3 月 26 日
时间：10:00
地点：电院 3-320
议题：Reachability in 3-VASS is Elementary (Part II)
报告人：杨启哲
论文链接：同前(3月19日)
2025 年 3 月 19 日
时间：10:00
地点：电院 3-320
2025 年 3 月 12 日
时间：10:00
地点：电院 3-320
议题：Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests (Part III)
报告人：薛成峰
论文链接：同前(2月26日)
2025 年 3 月 5 日
时间：10:00
地点：电院 3-320
议题：Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests (Part II)
报告人：薛成峰
论文链接：同前(2月26日)
2025 年 2 月 26 日
时间：10:00
地点：电院 3-320
议题：Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests (Part I)
报告人：郑扬珞
论文链接：[arXiv]