© 2025 SBC. Created with ❤️ using WordPress and Kubio
© 2025 SBC. Created with ❤️ using WordPress and Kubio
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[…]
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[…]
© 2025 SBC – Sociedade Brasileira de Computação
Equipe de Comunicação