Cilj projekta je razviti človeške vire za raziskave teoretične računalništva. Inštitut za informatiko CAS, znan med drugim za raziskave v matematični logiki, bo gostil mobilnost treh tujih znanstvenikov, ki razvijajo neklasično logiko in jih uporabljajo za specifične probleme v teoretični računalništvu. ICU bo povečala svoj ugled in prepoznavnost v mednarodnem kontekstu, tuji znanstveniki bodo obogatili svoj raziskovalni profil in spodbudili znanstveno dejavnost na delovnem mestu.