27º Simpósio Brasileiro de Métodos Formais (SBMF 2024) 4 de dezembro de 2024 - 6 de dezembro de 2024 Vitória/ES
XII Escola Regional de Informática de Goiás (ERI-GO 2024) 5 de dezembro de 2024 - 6 de dezembro de 2024 Ceres/GO