Prof. João Paixão (PPGI/UFRJ) foi agraciado com prêmio de melhor artigo e melhor apresentação no Simpósio Brasileiro de Métodos Formais. O trabalho, intitulado “Calculational Proofs in Relational Graphical Linear Algebra”, trata de uma linguagem diagramática mas também formal para álg
Continue Reading →