LIPIcs, Volume 181, ISAAC 2020