SOFSEM '96: Theory and Practice of Informatics