#Institute of Computer Science AS CR