Entre os dias 4 e 6 de dezembro, a 27ª edição do Brazilian Symposium on Formal Methods (SBMF 2024) aconteceu na Cidade da Inovação, em Vitória-ES. O evento reuniu pesquisadores, estudantes e representantes da indústria de oito países: Austrália, Brasil, Reino Unido, EUA, Dinamarca, Holanda, França e Alemanha.
A coordenação do Comitê de Programa foi conduzida pelo Prof. Sidney Nogueira (UFRPE), em colaboração com o pesquisador francês Ciprian Teodorov (ENSTA-Bretagne), enquanto a organização geral esteve a cargo do Prof. Jefferson Andrade (IFES).
Parabéns ao aluno Diego Ferreira (PPGIA/UFRPE) e ao Prof. Lucas Albertins (UFRPE), pelo prêmio de Melhor Artigo do SBMF 2024, com o trabalho:
“Verifying integrated designs of UML state machines and activities using CSP”.