Del 3 al 7 de agosto visitó la Facultad de Ingeniería el Dr. Eduardo Bonelli, Profesor Asociado del Departamento de Ciencia y Tecnología de la Universidad Nacional de Quilmes, Argentina, en el marco del proyecto STIC-Amsud “Types for Robust Program Development" de la Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas, financiado por la Agencia Nacional de Investigación e Innovación (ANII). El Dr. Bonelli trabajó con integrantes de la Cátedra de Teoría de la Computación en los temas relativos al proyecto. En ese marco, el 6 de agosto dictó la conferencia “Proofs as Computations for Justification Logic”.