SOFSEM'96: Theory and Practice of Informatics