29th EACSL Annual Conference on Computer Science Logic (CSL 2021) - Baier, Christel (Herausgeber); Goubault-Larrecq, Jean (Herausgeber) (LIPIcs - Leibniz International Proceedings in Informatics, 2021)