Programação
Sessão técnica 3 (Quinta)
11h00 – 11h15 | Calculation of the Fundamental Group of the Klein Bottle via Computational Paths
Tiago M. L. de Veras, Arthur F. Ramos, Ruy De Queiroz and Anjolina G. de Oliveira
11h15 – 11h30 | Especificação de preferências de planos usando metas de alcançabilidade estendidas na lógica alpha-CTL
Rodrigo Santos and Maria Viviane Menezes
11h30 – 11h45 | Um Assistente de Provas para a Disciplina de Lógica para Computação
Robson Teixeira, Javel Queiroz and Davi Romero
11h45 – 12h00 | Uma heurística probabilística para o problema de Classificação Geodésica
Francisco Mateus dos Anjos Silva and Paulo Henrique Macêdo de Araújo
12h00 – 12h15 | On the complexity of finding internally vertex-disjoint long directed paths
Julio Araujo, Victor Campos, Ana Karolinna Maia, Ignasi Sauand Ana Silva
