Title: SOFSEM 2001 : Theory and Practice of Informatics