El Dr. Fridlender es profesor asociado de la Facultad de Matemática, Astronomía, Física y Computación de la Universidad Nacional de Córdoba, Argentina. El Dr. Dybjer es profesor de Ciencias de la Computación y jefe de la División de Ciencias de la Computación del Departamento de Ciencias de la Computación e Ingeniería de Chalmers University of Technology, Suecia.
Durante su visita, ambos participaron en el Encuentro de Lógica y Métodos Formales, organizado por la cátedra de Teoría de la Computación de la facultad.
También integraron el 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 investigadores de la cátedra de Teoría de la Computación.
Durante su estadía, el Dr. Fridlender realizó tareas de investigación vinculadas al proyecto.
Por su parte, la visita del Dr. Dybjer fue financiada por el Programa de Desarrollo de las Ciencias Básicas (Pedeciba) Informática.