Instytut Informatyki Teoretycznej
i Stosowanej Polskiej Akademii Nauk