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 álgebra linear. Além disso, Profa. Anamaria Moreira (DCC/UFRJ) foi co-autora do trabalho que ficou com o prêmio de terceiro lugar no mesmo Simpósio. https://link.springer.com/book/10.1007/978-3-030-63882-5