Ինֆորմատիկայի և ավտոմատացման պրոբլեմների ինստիտուտ