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 y coordinador académico del Master en Ingeniería (por Investigación), presentaron los artículos “Formalization in constructive type theory of the standardization theorem” y “Formalisation of Barendregt's variable convention for generic structures with binders” en el workshop “Logical frameworks and meta languages: theory and practice” que se desarrolló en el marco de Federated Logic Conference (FLoC) 2018, conferencia arbitrada que tiene lugar en Oxford del 6 al 19 de julio de 2018.
En la oportunidad, los Dres. Szasz y Tasistro realizaron una visita académica a King’s College London, donde llevaron a cabo trabajos de investigación con la Dra. Maribel Fernández, docente e investigadora del Departamento de Ciencias de la Computación de esa institución.