Sofsem 2009: Theory And Practice Of Computer Science