SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings - Steffen, Bernhard; Baier, Christel; van den Brand, Mark; Eder, Johann; Hinchey, Mike; Margaria, Tiziana (Springer International Publishing : Imprint: Springer, 2017)