El objetivo de la visita, que tuvo lugar del 12 al 14 de diciembre de 2017, fue trabajar con investigadores de la Facultad de Ingeniería en el marco del proyecto de cooperación bilateral con Argentina ANII-CONICET "Teoría de tipos dependientes: meta-teoría y aplicaciones”.