SOFSEM 2012: Theory and Practice of Computer Science