LIPIcs, Volume 163, ITC 2020