Logics for New-Generation AI. First International Workshop, 18-20 June 2021, Hangzhou | lit.salon