Institute of Theoretical and Applied Informatics,
Polish Academy of Sciences