programmesInstitute for System Programming RAS