Sofsem 2012 Theory And Practice Of Computer Science 38th Conference On Current Trends In Theory And Practice Of Computer Science Spindleruv Mlyn Czech Republic January 2127 2012 Proceedings