O Encontro de Teoria da Computação (ETC) é um fórum voltado para a grande área de Teoria da Computação, sendo proposto por membros da CE-ACO, com objetivo de promover uma maior divulgação da área para a comunidade brasileira de computação e afins.
O ETC acontece dentro do Congresso da Sociedade Brasileira de Computação (CSBC), evento itinerante que a cada ano acontece em uma cidade do Brasil, para dessa forma atingir todas as regiões e possibilitar a participação de todos.
Este evento é voltado para os alunos em formação, mas também visa proporcionar uma maior integração entre os pesquisadores e profissionais que atuam na área, seja com enfoque em teoria pura ou em aplicações, estimulando a discussão da importância dos fundamentos da computação e sua aplicação direta no entendimento e resolução de problemas das mais diversas áreas e segmentos de mercado.
Conteúdo dessa página:
Trabalho premiado:
Título: "A Collapse-free Quantum Algorithm for a Problem in QSZK"
Autores: Henrique Hepp (UFPR), Murilo V. G. da Silva (UFPR), Leandro Miranda Zatesko (UTFPR).
Menções honrosas:
Título: "New bound on the odd chromatic number of planar graphs with maximum degree at most 4"
Autores: Vinícius de Souza Carvalho (UFABC), Carla Negri Lintzmayer (UFABC), Maycon Sambinelli (UFABC).
Título: "Decompositions of graphs into trees with bounded degree"
Autores: Fabio Botler (USP), Luiz Hoffmann (UFRJ).
Palestras convidadas:
Título: "Computação Teórica: Ensino e Divulgação Acessível"
Palestrante: André Vignatti (UFPR)
Título: "Grafos cordais e a hierarquia grafos-caminho"
Palestrante: Ana Shirley (UFC)
Trabalho premiado:
Título: "An efficient algorithm to add up-links to a rooted tree to obtain a minimum cost 2-connected graph"
Autores: Gabriel Morete de Azevedo (USP), Yoshiko Wakabayashi (USP).
Menção honrosa:
Título: "Clique-Number of Timbral Graphs"
Autores: Márcia R. Cerioli (UFRJ), Luan Simões Cardoso (UFRJ), Petrucio Viana (UFF).
Palestras convidadas:
Título: "Matheurísticas em Modelos Estendidos"
Palestrante: Edna Ayako Hoshino (UFMS)
Título: "Resultados Recentes Acerca do Problema de Separação por Caminhos"
Palestrante: Guilherme Oliveira Mota (USP)
Trabalhos premiados:
Primeiro lugar: "PTAS para problema do empacotamento soma mínima com quadrados"
Autores: Rachel Vanucchi Saraiva (Unicamp), Rafael Schouery (Unicamp).
Segundo lugar: "Complexidade Parametrizada do problema de reconfiguração de separadores"
Autores: Guilherme de Castro Mendes Gomes (UFMG), Vinícius dos Santos (UFMG).
Terceiro lugar: "On total coloring of small fullerene nanodiscs"
Autores: Mariana Cruz (UFRJ), Celina Figueiredo (UFRJ), Diana Sasaki (UFRJ), Diane Castonguay (UFG).
Palestras convidadas:
Título: "Hybrid iterated local search frameworks for classes of combinatorial optimization problems"
Palestrante: Anand Subramanian (UFPB)
Título: "Aplicações de Grafos Pfaffianos"
Palestrante: Cláudio L. Lucchesi (USP)
Trabalho premiado:
Título: "Minimum Density of Identifying Codes of Hexagonal Grids with a Finite Number of Rows"
Autores: Rudini Sampaio (UFC), Gabriel A. G. Sobral (USP), Yoshiko Wakabayashi (USP).
Menções honrosas:
Título: "Emparelhamento Conexo Ponderado é NP-completo"
Autores: Guilherme de C. M. Gomes (UFMG), Bruno P. Masquio (UERJ), Paulo Pinto (UERJ), Vinicius dos Santos (UFMG), Jayme L. Szwarcfiter (UERJ / UFRJ).
Título: "Instances for the Maximum Clique Problem with Hardness Guarantees"
Autores: Victor Campos (UFC), Renato Carmo (UFPR), Rodrigo Nogueira (UFC).
Palestras convidadas:
Título: "Variações de dominação e independência em algumas classes de grafos"
Palestrante: Érika Coelho (UFG)
Título: "Uma breve introdução aos problemas de empacotamento"
Palestrante: Flávio Keidi Miyazawa (Unicamp)
Trabalhos premiados:
Primeiro lugar: "Spanning Cover Inequalities for the Capacitated Vehicle Routing Problem"
Autores: Guilherme Arcencio (UFSCar), Matheus Mattioli (UFSCar), Pedro Hokama (Unifei), Mário César San Felice (UFSCar).
Segundo lugar: "Lower Bounds for the Partial Grundy Number of the Lexicographic Product of Graphs"
Autores: Kenny Domingues (UFC), Yuri Oliveira (UFC), Ana Silva (UFC).
Terceiro lugar: "Some Partial Results on Linial’s Conjecture for Matching-Spine Digraphs"
Autores: Jadder Cruz (Unicamp), Cândida Silva (UFSCar), Orlando Lee (Unicamp).
Palestras convidadas:
Título: "On edge domination of graphs"
Palestrante: Jayme Luiz Szwarcfiter (UFRJ e UERJ)
Título: "Extended formulation and valid inequalities for the multi-item inventory lot-sizing problem with supplier selection"
Palestrante: Rafael Augusto de Melo (UFBA)
Trabalhos premiados:
Primeiro lugar: "Decomposition of (2k+1)-regular graphs containing special spanning 2k-regular Cayley graphs into paths of length 2k+1"
Autores: Fábio Botler (UFRJ), Luiz Hoffmann (UFRJ).
Segundo lugar: "The odd chromatic index of almost all graphs"
Autores: Fábio Botler (UFRJ), Lucas Colucci (Central European University), Yoshiharu Kohayakawa (USP).
Terceiro lugar: "Conjuntos Dominantes e Dominantes Independentes em Grafos de Petersen Generalizados"
Autores: Alessandra Pereira (UNICAMP), Christiane N. Campos (UNICAMP).
Trabalhos premiados:
Primeiro lugar: "A Constant-Factor Approximation for the Generalized Cable-Trench Problem"
Autores: Marcelo Benedito (Unicamp), Lehilton Pedrosa (Unicamp), Hugo Rosado (Unicamp).
Segundo lugar: "Equitable Partition of Graphs into Independent Sets and Cliques"
Autores: Bruno Monteiro (UFMG), Vinicius dos Santos (UFMG).
Terceiro lugar: "A proof for Berge's Dual Conjecture for Bipartite Digraphs"
Autores: Caroline Silva (UFSCar), Cândida Silva (UFSCar), Orlando Lee (UNICAMP).
Trabalho premiado:
Título: "alpha-Diperfect digraphs"
Autores: Maycon Sambinelli (UNICAMP), Cândida Silva (UFSCAR), Orlando Lee (UNICAMP).
Menção honrosa:
Título: "Online Circle and Sphere Packing"
Autores: Carla Lintzmayer (UFABC), Flavio Miyazawa (UNICAMP), Eduardo Xavier (UNICAMP).
Trabalhos premiados:
Primeiro lugar: "Número de Ramsey relativo a arestas de potências de caminhos"
Autores: Dennis Clemens (TUHH - Germany), Matthew Jenssen (London School of Economics - UK), Yoshiharu Kohayakawa (USP - Brasil), Natasha Morrison (Oxford - UK), Guilherme Mota (USP - Brasil), Damian Reding (TUHH - Germany), Barnaby Roberts (London School of Economics - UK).
Segundo lugar: "Método exato para um problema de alocação justa"
Autores: Edênis F. Azevedo (IME-USP – Brasil), Carlos E. Ferreira (IME-USP – Brasil), Alexandre S. Freire (EACH-USP – Brasil), Aritanan Gruber (UFABC – Brasil), Augusto Vellozo (Tecsinapse - Brasil).
Terceiro lugar: "Advances in anti-Ramsey theory for random graphs"
Autores: Guilherme O. Mota (USP - Brasil).
Palestras convidadas:
Título: "Teoria x Prática: Será que vamos conseguir vencer?"
Palestrante: Geraldo Robson Mateus (UFMG)
Título: "Grafos (k,l)-bem cobertos"
Palestrante: Sulamita Klein (UFRJ)
Trabalho premiado:
Título: "Some families of 0-rotatable graceful caterpillars"
Autores: Atílio Luiz (UNICAMP), Christiane Campos (UNICAMP), Bruce Richter (University of Waterloo).
Palestras convidadas:
Título: "Lógica em Computação, IA e Cognição"
Palestrante: Luis C. Lamb (UFRGS)
Título: "Intratabilidade e Otimização: uma Homenagem ao David Johnson"
Palestrantes: Celina de Figueiredo (UFRJ) e Luciana Buriol (UFRGS)
Título: "Problemas de Edição de Arestas em Grafos"
Palestrante: Luiz Satoru Ochi (UFF)