SOFSEM '97: Theory and Practice of Informatics