La Dra. Nora Szasz, coordinadora académica de Ingeniería en Sistemas, y el Dr. Álvaro Tasistro, catedrático de Teoría de la Computación de la Facultad de Ingeniería, participaron del 15 al 19 de julio de 2016 del Proyecto de Cooperación Bilateral ANII-Conicet (Consejo Nacional de Investigaciones Científicas y Técnicas, Argentina) "Teoría de tipos dependientes: meta-teoría y aplicaciones” en la Facultad de Matemática, Astronomía y Física de la Universidad Nacional de Córdoba.