SOFSEM 2014 Theory and Practice of Computer Science 40th International Conference on Current Trends in Theory and Practi