SOFTSEM 2014: Theory and practice of computer science : 40th conference on current trends in theory and practice of computer science : Nový Smokovec, High Tatras, Slovakia, January 26-29, 2014 : proceedings. Volume II : Student research forum - Geffert, Viliam, 1955- (Univerzita Pavla Jozefa Šafárika, 2014)