2024 秋季常规讨论班
2024 年 12 月 19 日
时间：2024 年 12 月 19 日 10:00
地点：电院 3-320
议题：Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free
报告人：杨启哲
论文链接：[DBLP]
2024 年 12 月 9 日
时间：2024 年 12 月 9 日 9:00
地点：徐汇校区盛宅
| 议题 | 主讲人 | 时间 |
|---|---|---|
| 交互理论讨论 | 吴昊 | 9:00 |
| On the Low Dimensional VASS Reachability | 傅育熙 | 10:00 |
| Reachability in Two-Dimensional Vector Addition Systems with States: One Test is for Free | 杨启哲 | 11:00 |
| Reachability in Petri Nets with Inhabitor Archs | 陈蔚骏 | 13:30 |
| The Reachability Problem for Vector Addition System with One Zero-Test | 郑扬珞 | 14:30 |
| Literature Review on PVASS/BVASS | 薛成峰、付博 | 16:00 |
2024 年 12 月 3 日
时间：2024 年 12 月 3 日 10:30
地点：电院 3-320
议题：Reachability in Geometrically \(d\)-VASS
报告人：付博、薛成峰
2024 年 12 月 2 日
时间：2024 年 12 月 2 日 17:30
地点：电院 3-320
议题：Computing VASS Geometric Dimension
报告人：郑扬珞
内容提要：A polynomial time algorithm for computing geometric dimension.
2024 年 11 月 26 日
时间：2024 年 11 月 26 日 13:00
地点：电院 3-320
议题：Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
报告人：杨启哲
论文链接：同前（11月19日）
2024 年 11 月 19 日
时间：2024 年 11 月 19 日 13:00
地点：电院 3-320
议题 1：Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
报告人：杨启哲
论文链接：[arXiv]
2024 年 11 月 12 日
时间：2024 年 11 月 12 日 14:00
地点：电院 3-320
议题：Geometrically 2-dimensional VASS — Part II
报告人：郑扬珞
内容提要：Support projection; degenerate geo-2d VASS
2024 年 11 月 5 日
时间：2024 年 11 月 5 日 14:00
地点：电院 3-320
议题：Geometrically 2-dimensional VASS — Part I
报告人：郑扬珞
内容提要：Geometric dimension; sign reflecting projections
2024 年 10 月 24 日
时间：2024 年 10 月 24 日 15:45
地点：电院 3-320
议题：New Pumping Technique for 2-dimensional VASS — Part III
报告人：郑扬珞
论文链接：同前（10 月 8 日）
2024 年 10 月 16 日
时间：2024 年 10 月 16 日 14:00
地点：电院 3-320
议题：New Pumping Technique for 2-dimensional VASS — Part II
报告人：郑扬珞
论文链接：同前（10 月 8 日）
2024 年 10 月 10 日
时间：2024 年 10 月 10 日 15:45
地点：电院 3-320
议题1：New Pumping Technique for 2-dimensional VASS — Part I — Review
报告人：郑扬珞
论文链接：同前
议题2：On the Low Dimensional VASS Reachability Problem
报告人：龙环
2024 年 10 月 8 日
时间：2024 年 10 月 8 日 14:30
地点：电院 3-320