2025 春季常规讨论班

2025 年 3 月 12 日

时间：10:00

地点：电院 3-320

议题：Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests (Part II)

报告人：薛成峰

论文链接：同前(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]