Entre os dias 02 e 05 de dezembro de 2025 aconteceu o 28º Simpósio Brasileiro de Métodos Formais (SBMF 2025) em que o professor do PPGIA, prof. Lucas Albertins foi o coordenador-geral do evento e o professor Leopoldo Teixeira do Centro de Informática da UFPE foi o coordenador de programa. O docente Sidney Nogueira e discentes do PPGIA também participaram do evento.
O SBMF 2025 aconteceu de 03 a 05/12 nas instalações do CETENE, e o ETMF 2025, evento coalocado com o SBMF 2025, aconteceu no dia 02/12 no Centro de Informática da UFPE. O SBMF congregou não só acadêmicos, mas também membros da indústria, interessados nos últimos avanços na área de métodos formais. Além disto, o SBMF recebeu participantes de 8 países distintos, demonstrando mais uma vez sua reputação internacional.
Além de tutoriais, painéis e sessões técnicas, o SBMF contou com três palestrantes, sendo o professor Augusto Sampaio do CIn-UFPE, o palestrante nacional, e os professores Hans Vangheluwe e Marsha Chechik, os dois palestrantes internacionais. Ao final do evento, foi anunciado que a próxima edição do evento ocorrerá no Rio de Janeiro e será organizada pelo prof. Edward Herman Haeusler da PUC-Rio.