O objetivo do projeto é desenvolver recursos humanos para a investigação em ciência da computação teórica. O Instituto de Informática do CAS, conhecido entre outros pela investigação em lógica matemática, acolherá a mobilidade de três cientistas estrangeiros que desenvolvem lógica não clássica e aplicá-los a problemas específicos em ciência da computação teórica. A UTI aumentará o seu prestígio e visibilidade no contexto internacional, os cientistas estrangeiros enriquecerão o seu perfil de investigação e estimularão a atividade científica no local de trabalho.