La visita se llevó a cabo en el marco del Proyecto de Cooperación Bilateral ANII (Agencia Nacional de Investigación e Innovación)-Conicet (Consejo Nacional de Investigaciones Científicas y Técnicas) de Argentina "Teoría de tipos dependientes: meta-teoría y aplicaciones”, en el cual participan investigadores de la Cátedra de Teoría de la Computación de la facultad.