Saarbrücken/Wadern : Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Leibniz international proceedings in informatics 170, 30:[1]-30:13 (2020). doi:10.4230/LIPIcs.MFCS.2020.30 45th International Symposium on Mathematical Foundations of Computer Science : MFCS 2020, August 25-26, 2020, Prague, Czech Republic / edited by Javier Esparza, Daniel Král' 45th International Symposium on Mathematical Foundations of Computer Science : MFCS 2020, August 25-26, 2020, Prague, Czech Republic / edited by Javier Esparza, Daniel Král'45. International Symposium on Mathematical Foundations of Computer Science, MFCS 2020