2024 秋季常规讨论班

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

议题：New Pumping Technique for 2-dimensional VASS — Part I

报告人：郑扬珞

论文链接： [PDF] [DBLP]

2024 年 9 月 27 日

时间：2024 年 9 月 27 日 15:00

地点：电院 3-320

议题 1：On the Low Dimensional VASS Reachability Problem

报告人：龙环

摘要：We will report a simplified proof that 2-VASS is in PSPACE.

议题 2：Challenges of the Reachability Problem in Infinite-State Systems

报告人：杨启哲

论文下载： [PDF] [DBLP]