SOFSEM 2000: Theory and Practice of Informatics