SOFSEM 2013 Theory and Practice of Computer Science 39th International Conference on Current Trends in Theory and Practi