Ambos participaron del Encuentro de Lógica y Métodos Formales organizado por la Cátedra de Teoría de la Computación de la facultad y del tribunal de la defensa de la tesis de Doctorado en Informática del Ing. Ernesto Copello, asistente de investigación y docente de la Cátedra de Teoría de la Computación de la facultad.
La visita del Dr. Fridlender se desarrolló en el marco del Proyecto de Cooperación Bilateral ANII (Agencia Nacional de Investigación e Innovación) - Consejo Nacional de Investigaciones Científicas y Técnicas (Conicet), Argentina, denominado "Teoría de tipos dependientes: meta-teoría y aplicaciones”, en el cual participan los investigadores de la cátedra antes mencionada. Durante su estadía el Dr. Fridlender realizó tareas de investigación vinculadas al proyecto. La visita del Dr. Dybjer fue financiada por el Programa de Desarrollo de las Ciencias Básicas (Pedeciba) Informática.