Title: Logics for New-Generation AI. First International Workshop, 18-20 June 2021, Hangzhou