2025 秋季常规讨论班

2025 年 10 月 8 日

时间：14:30

地点：电院 3-320

议题：Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests

报告人：薛成峰

2025 年 9 月 30 日

时间：14:30

地点：电院 3-320

议题：On the Reachability Problem for Two-Dimensional Branching VASS

报告人：付博

2025 年 9 月 24 日

时间：15:30

地点：电院 3-320

议题：Reachability and Related Problems in Vector Addition Systems with Nested Zero Tests

报告人：薛成峰

2025 年 9 月 17 日

时间：14:30

地点：电院 3-320

议题1：CONCUR 2025 参会情况

报告人：郑扬珞

议题2：Notes on 2-VAS

报告人：陈蔚骏