Institute of Computer Science of the Czech Academy of Sciences