Institute of Computer Science, Polish Academy of Sciences