| Data | Palestrante | Título |
|---|---|---|
| 22/08/2025 | Profa. Cláudia Nalon | Apresentação do Programa de Pós-Graduação em Informática |
| 05/09/2025 | Leandro Silva Galvão de Carvalho | Educação em Computação: algumas possibilidades de pesquisa |
| 12/09/25 | Manoel Vieira Coelho Neto | Executable Semantics for Autonomous Goals: Translating Extended EDGE Models into Verifiable DTMC Controllers |
| 19/09/2025 | Bruno de Barros Oliveira | Geração de Imagens Faciais com Difusão Estável: Um Estudo sobre a Representação de Raça, Gênero, Idade e Traços Anatômicos |
| Matheus Stauffer Viana de Oliveira | Exploring cross-boundaries between decoder and encoder-like models for NER | |
| Walter Lucas Monteiro de Mendonça | A theory on Source Code Rejuvenation | |
| 26/9/2025 | Rafael Henrique Nogalha de Lima | A Novel Information System Framework for Natural Disaster Management |
| Charles Antônio Nascimento Costa | An Algebraic Structuring of Epistemic States for BDI Agents in Uncertain Environments |
|
| 03/10/2025 | Vicente Romeiro de Moraes | Assured Mission Adaptation of Multi-Robot Systems |
| Jonathan de Moura Feitosa | API Modular para Experimentação Automatizada e Telemetria em Redes SDN |
|
| Ricardo Régis Cavalcante Chaves | A Framework for Reproducible Parallel DNA String Matching | |
| Paulo Roberto da Paz Ferraz Santos | Metodologia para Produção de Inteligência de Ameaça Acionável em Nível Tático | |
| 10/10/2025 | Maria Julia Dias Lima | Anti Unificação Sintática |
| Paulo José de Souza Junior | Proteção Contra Falhas Dupla Em Redes SDM-EON Explorando Bandas De Espectro Com Crosstalk | |
| BRUNA PINOS DE OLIVEIRA | ||
| 17/10/2025 | Geovana Ramos Sousa Silva | A Privacy-Aware Approach to Chatbot Development in Conversation-Driven Development Environments |
| Angela Brigida Albarello | Diagnósticos Explicáveis para o Comportamento do Motorista: Uma Arquitetura Híbrida Borda-Nuvem com Memória Vetorial-Grafo e Geração Aumentada por Recuperação | |
| Marcelo Ferreira Ortega | Groom Your Specs: Effects of using goal modelling in requirements mission specification | |
| 24/10/2025 | Jose Clavo Tafur | Sparse Value Flow Analysis for Java Bytecode An Empirical Assessment |
| Ronald Cesar Dias de Oliveira | Image Segmentation to Measure Plantation Failure rate of Soybean Crops using UAV images |
|
| 31/10/2025 | Vinícius Manoel Ribeiro | Otimizações para Alinhamento Múltiplo Paralelo Exato de Sequências Biológicas |
| Alexandro de Oliveira Paula | Detecção e resposta a ataques cibernéticos de negação de serviço em Smart Grids | |
| 14/11/2025 | Marcos José dos Santos Neto | DDoS attack detection in SDN: Enhancing entropy-based detection with machine learning |
| Luciano Lucas de Oliveira Gois | SmartReps: A utilização de LLMs para melhorar saídas de ferramentas de análise estática | |
| Felipe Evangelista dos Santos | Implementação do modelo de inteligência artificial para aplicação em processos institucionais no setor público | |
| 21/11/2025 | Murillo Edson de Carvalho Souza | In requirements mission specification |
| 28/11/2025 | Leonardo Rebouças de Carvalho | Orama: Framework para Seleção e Avaliação de Ambientes FaaS em Nuvem Pública por meio de Aprendizado de Máquina |
| Luis Henrique Vieira Amaral | Perceptions of Software Practitioners on SAST Adoption and Tools for Detecting Crypto API Misuses |
|
| João Lucas Pinto Vasconcelos | Crimes Informáticos e Redes de Dados: Desafios e Soluções no Contexto de Tecnologia da Informação | |
| Angela Maria Cristina Clara | Continuidade e resiliência de Infraestruturas Críticas de Governo. | |
| 05/12/25 | Everaldo Silva Júnior | Checking for well-formedness in Robotic Mission Specifications |
| Thiago Araújo Guedes | ||
| Wanderson Jean Conceição Silva | Maristela Plugin: Um Chatbot Humanizado com Inteligência Artificial Generativa para Ensino de Programação no Moodle | |
| Marcos Paulo Cayres Rosa | Dynamic Adaptation in Digital Games | |
| 12/12/25 | Pedro Henrique Teixeira Costa | Melhorando a Performance de Runtime Verification com o Uso de Geração de Casos de Testes Guiados |
| Boris Araujo | Análise estática: algoritmos de montagem de CFG e detecção de reflection | |
| Júlio César Moura de Oliveira | Detecção de novidade para sistemas de detecção de intrusão |
|
| Wagner Emanuel | ||
| Pedro Carvalho Brom | Métodos Analíticos para Avaliação de Modelos de Linguagem |