, Instytut Informatyki Politechniki Poznańskiej i Instytut Badań Systemowych PAN