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
PPGI UFRJ na mídia! Anderson, aluno de doutorado do PPGI UFRJ, fazendo a diferença no combate às fake news. https://avozdaserra.com.br/noticias/friburguense-criador-do-fakepedia-diz-que-informacao-e-arma-para-o-combate
