SOFSEM 2013: Theory and Practice of Computer Science