News

Paper by the coordinator accepted for presentation at "CBSoft, the Brazilian Conference on Software"

July 31, 2013
The article “Institution-based semantics for MOF and QVT-relations” by Daniel Calegari, Assistant Professor at the Institute of Computing in the School of Engineering at the University of the Republic, and Dr. Nora Szasz, Academic Coordinator of Systems Engineering at the Faculty of Engineering, was accepted in July 2013 for presentation at “CBSoft, the Brazilian Conference on Software: Theory and Practice. Brazilian Symposium on Formal Methods (SBMF).” The event will take place from October 29 to November 4, 2013, in Brasília.