El Dr. Álvaro Tasistro, coordinador académico del Master en Ingeniería (por investigación), dictó la charla “Formal Reasoning in Constructive Type Theory on Data With Binders” en el marco del Workshop on Formal Verification of Proofs and Programs. El evento, organizado por el Grupo de Seguridad de la Información del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República, tuvo lugar 6 de octubre de 2015 en dicho instituto.