Trabalhos Aceitos

Formal Analysis of Multi-Robot Patrolling Metrics
Pablo Sampaio, Rodrigo De Souza, Geber Ramalho, Patricia Tedesco

Algoritmo de Shor: uma introdução à criptografia quântica
William Silva, Maigan Alcantara

N Grafos para Lógica de Primeira Ordem: Um estudo
Jorge Farias, Anjolina Oliveira, Ruan Carvalho

Jogos Fechados de Convexidade em Árvores: complexidade e estratégias vencedoras
João Marcos Brito, Samuel N. Araújo, Raquel Folz, Rosiane De Freitas, Rudini Sampaio

Análise Comparativa dos Operadores do Algoritmo Genético aplicado ao Problema de Corte Bidimensional em Madeira 
Alejandro Estevan da Silva Santos, Yasmim Luana Avelino Figueredo, Rafael Santiago da Silva, Lucas Davi da Silva Paixao, Jean Honorio de Arruda Filho, Kerven Kildhery Silva, Lucas Matheus de Oliveira Ramos, Mayrton Queiroz

Uma prova elementar da caracterização dos N-autômatos limitados
Rodrigo De Souza, Maria Virgínia Dos Santos, Maria Aparecida Sibaldo

Imersão de caminhos curtos em (di)grafos
Ana Karolinna Oliveira, Matheus Alencar

Semântica de Reescrita para PEG Tipada
Regina Paula, Daniel Pereira, Leonardo Reis, Elton Cardoso, Rodrigo Ribeiro

GBL no Ensino de Aspectos Teóricos da Computação
Alcides Andrade, Jeane Melo

Versão preliminar dos resumos