I NSTYTUT P ODSTAW I NFORMATYKI POLSKIEJ AKADEMII NAUK