The aim of the project is to develop human resources for research in theoretical computer science. The Institute of Informatics of the CAS, known among others for research in mathematical logic, will host the mobility of three foreign scientists developing non-classical logic and applying them to specific problems in theoretical computer science. The ICU will increase its prestige and visibility in the international context, foreign scientists will enrich their research profile and stimulate scientific activity in the workplace.