Institute of Theoretical and Applied Informatics, Polish Academy of Sciences