Palestrantes Convidados
Palestras
- Said Sadique Adi (FACOM UFMS): Mapeamento de Sequências em Grafos de De Bruijn
- Adenilton J. da Silva (CIn UFPE): Computação Quântica
- Regivan Hugo Nunes Santiago (DIMAP UFRN): Fuzzy Switch Graphs
- Marlo Vieira dos Santos e Souza (IC UFBA): Lógicas Dinâmicas e Mudança de Crença
- Aline Maria Santos Andrade (IC UFBA): Uma abordagem para o reparo de modelos com informação parcial
- Benjamín René Callejas Bedregal (DIMAP UFRN): Autômatos Finitos Fuzzy
- Rafael Dueire Lins (DC UFRPE): Por que reinicializar é a solução?
Mini-cursos
- Maria Viviane Menezes e Davi Romero (UFC - Campus Quixadá): Conheça NADIA e ANITA: Ferramentas para ensino e aprendizagem de Sistemas Dedutivos em Lógica para Computação
- Maité Kulesza (DMAT UFRPE): Implementação do modelo SIR em linguagem Python como um primeiro passo na modelagem de epidemias
- Anjolina Grisi de Oliveira (CIn UFPE): Um breve introdução à Teoria da Prova
|