主题：可达性: 算法与复杂性(Reachability: Algorithm and Complexity)

时间：2024年8月19日--23日

地点：同济大学嘉定校区

主办：上海交通大学

承办：同济大学

会议主席：傅育熙 教授，刘关俊 教授

组委会：龙环 副教授，田月，宋健

可达性: 算法与复杂性(Reachability: Algorithm and Complexity)简介：很多系统性质（如软硬件安全性、系统活性、目标可覆盖性、状态可达性等）的判断可抽象为VASS上的验证算法问题，其中最具挑战的问题是可达性问题（reachability problem）。很多程序、编程语言、逻辑、并发、形式化验证中的问题都可以归结到可达性问题，有些著名的未解决问题和某种形式的可达性问题等价。可达性问题的可判定性证明（即著名的KLMST算法）是理论计算机科学的重大突破之一。相关问题的复杂性刻画在近年取得长足进展，而该方向仍包含理论计算机科学中一些重要的未解问题。

BASICS Workshop and Summer School是上海交通大学BASICS实验室（Laboratory for Basic Studies in Computing Science）主办的年度学术活动。从2000年起，已成功举办了二十届，讨论的主题依次为：类型和论域（2000年，上海）、线性逻辑和博弈语义（2001年，北京）、算法与复杂性（2002年，杭州）、信息安全与密码学（2004年，上海）、并发计算理论及其应用（2005年，扬州）、理论计算机科学的前沿问题（2006年，上海）、算法-计算复杂性-密码学基础（2007年，浙江安吉）、算法与图论应用（2008年，贵阳）、计算与交互（2009年，上海）、类型与程序语言（2010年，杭州）、算法博弈论（2011年，青岛）、论域理论及应用（2012年，长沙）、无限状态系统验证（2013年，上海）、递归论（2014年，上海）、通信复杂性（2015年，金华）、量子计算与量子编程（2016年，贵阳）、算法谱图论（2017年，上海）、机器学习的数学基础（2018年，上海）、区块链理论与实践（2019年，湖州）、零知识证明 (2023年，上海)。

BASICS Workshop and Summer School 2024特邀 傅育熙 教授讲授可达性问题相关的算法及其复杂性的基础知识。

我们诚挚地邀请您参加！