L'obiettivo del progetto è lo sviluppo di risorse umane per la ricerca in informatica teorica. L'Istituto di Informatica del CAS, noto nel mondo per la ricerca nel campo della logica matematica, ospiterà la mobilità di tre scienziati stranieri che sviluppano logiche non classiche e le applicano a problemi specifici dell'informatica teorica. IAI aumenterà il suo prestigio e la sua visibilità in un contesto internazionale, scienziati stranieri arricchiranno il loro profilo di ricerca e stimoleranno l'attività scientifica sul posto di lavoro.