Workshop on Program Analysis and Verification 将于 2025.5.24 - 5.25 于北京大学举办，具体安排参见 https://pl.cs.pku.edu.cn/workshop.html