Octubre 2013
-
25 oct. 2013El artículo “Institution-based semantics for MOF and QVT-relations” (pdf) de la Dra. Nora Szasz, Coordinadora Académica de Ingeniería en Sistemas, y el Ing. Daniel Calegari, Profesor Adjunto del Instituto de Computación de la Facultad de Ingeniería de la Universidad de la República, obtuvo el segundo premio a “mejor artículo presentado” en “CBSoft, the Brazilian Conference on Software: Theory and Practice. Brazilian Symposium on Formal Methods (SBMF)”. El evento, organizado por Universidade de Brasilia, tuvo lugar del 30 de setiembre al 4 de octubre de 2013.