SOFSEM 2005: Theory and Practice of Computer Science (Springer Berlin Heidelberg, 2020)