Eventos
TAC 2025 debate sistemas ciberfísicos, segurança e energia do futuro
Seminários TAC 2025 reuniram CETELI/UFAM, iComp/UFAM e EST/UEA em temas de IA, segurança, verificação formal e sistemas ciberfísicos.
O PPGEE/UFAM registrou o TAC 2025 em 24 e 25 de junho, organizado por CETELI/UFAM, iComp/UFAM e EST/UEA. A programação abordou inteligência artificial e segurança, verificação formal e robustez, sistemas ciberfísicos resilientes sob ataques e segurança em energia inteligente, saúde e mobilidade autônoma. Entre os participantes citados estão Iury Bessa, Lucas Cordeiro, Pedro Coutinho, Rodrigo Araújo e Rosiane Freitas.
Tags: taccibersegurancasistemas-ciberfisicosverificacao-formal