SOFSEM 2016: Theory and practice of computer science: 42nd international conference on current trends in theory and practice of computer science harrachov, Czech Republic, January 23-28, 2016 proceedings