Inscreva-se no Simpósio Brasileiro de Métodos Formais 2016

O Simpósio Brasileiro de Métodos Formais (SBMF) é um simpósio brasileiro dedicado ao estudo ea aplicação e métodos formais no desenvolvimento de sistemas de software. Este simpósio[…]

Participe do Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais

As inscrições para o Simpósio Brasileiro em Segurança da Informação e de Sistemas Computacionais estão abertas. O SBSeg é evento científico realizado anualmente pela Sociedade[…]