28/04/2026
Como podem métodos formais melhorar a fiabilidade de sistemas de inteligência artificial aplicados à monitorização ambiental?
Doceentes e investigadores da FCA-UJES, Eng.° Isaú Quissindo e Professora Doutora Virgínia Quartin, irão apresentar, no próximo dia 04 de Maio de 2026, um estudo sobre classificação de imagens de satélite para detecção de queimadas em florestas de miombo em Angola, com base em requisitos formais aplicados a sistemas de inteligência artificial.
A apresentação integra o RE×AI Workshop & NASA Formal Methods Symposium 2026, um encontro internacional dedicado à fiabilidade e segurança de sistemas críticos, organizado pelo NASA Ames Research Center e pela The University of Manchester, e acolhido pela University of Southern California.
O trabalho aborda a utilização de inteligência artificial na monitorização de queimadas entre 2015 e 2025, contribuindo para o desenvolvimento de soluções mais robustas em contextos ambientais complexos.
🔗 Mais informações e inscrição:
https://nfm2026.github.io/registration/
https://nfm2026.github.io/workshop
Faça a sua inscrição e participe do evento. Reserve a data e hora (22h:00 AO)