dezembro 2 - dezembro 5

XXVIII Simpósio Brasileiro de Métodos Formais (SBMF 2025)

Recife/PE

dezembro 3 - dezembro 4

V Escola Regional de Alto Desempenho Norte 2 e V Escola Regional de Aprendizado de Máquina e Inteligência Artificial Norte 2

Marabá/PA

dezembro 3 - dezembro 4

V Escola Regional de Alto Desempenho Norte 2 e V Escola Regional de Aprendizado de Máquina e Inteligência Artificial Norte 2 (ERAD e ERAMIA-NO2 2025)

Marabá/PA