2024 秋季常规讨论班
2024 年 11 月 19 日
时间：2024 年 11 月 19 日 14:00
地点：电院 3-320
议题 1：Reachability in One-Dimensional Pushdown Vector Addition Systems is Decidable
报告人：杨启哲
论文链接：[arXiv]
议题 2：Computing the geometric dimension
报告人：郑扬珞
内容提要：A new algorithm for computing a basis for the cycle space of a given VASS.
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