This volume contains the invited and contributed papers selected for presen- tion at SOFSEM
2010 the 36th Conference on Current Trends in Theory and Practiceof Computer Science held
January23 29 2010 in the Hotel Bed? richov ? Spindler? uv Mlyn of the Krkono? se Mountains of
the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch and fosters
the cooperation among researchers and professionals from academia and industry in all areas of
computer science. As a well-established and fully int- national conference SOFSEM maintains
the best of its original Winter School aspects suchasa highnumber of invitedtalksandanin-depth
coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was
organized around the following four tracks: Foundations of Computer Science (Chairs: David
Peleg Anca Muscholl) Principles of Software Construction (Chair: Bernhard Rumpe) Data
Knowledge and Intelligent Systems (Chair: Jaroslav Pokorn y) Web Science (Chair: Jan van
Leeuwen) With these tracks SOFSEM 2010 covered the latest advances in research both
theoretical and applied in leading areas of computer science. The SOFSEM 2010 Program
Committee consisted of 78 international experts from 20 di?erent countries representing the
track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional
Student Research - rum (SRF Chair: Ma ria Bielikov a) organized with the aim to present
student projects in the theory and practice of computer science and to give students feedback
on both the originality of their scienti?c results and on their work in progress.
