BASICS'2024暑期学校-"可达性:算法与复杂性"研讨班于8月19日-23日在同济大学嘉定校区召开。

BASICS暑期学校由上海交通大学傅育熙教授创办并已举办20届,本次为第21届。本次由来自中科院软件所、上海交大、南京大学、天津大学、中山大学、华师大、华东理工、南京林业大学、杭州电子科技大学、上海海洋大学、上海师范大学、天津科技大学、同济大学的近40为老师同学参加，由傅育熙教授主讲，围绕VASS可达性问题的复杂性与判定算法开展讲解与讨论，19日上午刘关俊教授介绍了Petri网的基本原理、与VASS的等价性、以及可达性和健壮性及其部分证明，23日上午杨启哲教授讲授了2-VASS可达性判定的复杂性及其证明。