O II Encontro de Teoria da Computação (ETC 2017) é um fórum voltado para a grande área de Teoria da Computação, sendo proposto por membros da Comissão Especial em Algoritmos, Combinatória e Otimização (CE-ACO), com objetivo de promover uma maior divulgação da área para a comunidade brasileira de computação e afins, através do principal evento da SBC, o XXXVII CSBC.
Este evento é voltado para os alunos em formação, mas também visando proporcionar uma maior integração entre os pesquisadores e profissionais que atuam na mesma, 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.
Durante o CSBC, será realizado o II DACO (Desafio de Algoritmos, Combinatória e Otimização), cujos detalhes serão repassados posteriormente.
| Horário | Título |
|---|---|
| 8:30 - 8:50 | Abertura e Anúncio do DACO Prof. Jayme Szwarcfiter e Coordenadoras |
| 8:50 - 9:30 | Palestra “Teoria x Prática: Será que vamos conseguir vencer?” Prof. Geraldo Robson Mateus, UFMG |
| 9:30 - 10:30 | Sessão Técnica I Deletion Graph Problems Based on Deadlock Resolution Alan Carneiro (UFF - Brazil), Uéverton Souza (UFF - Brazil), Fabio Protti (UFF - Brazil) Número de Ramsey relativo a arestas de potências de caminhos Dennis Clemens (TUHH - Germany), Matthew Jenssen (London School of Economics - UK), Yoshiharu Kohayakawa (USP - Brazil), Natasha Morrison (Oxford - UK), Guilherme O. Mota (USP - Brazil), Damian Reding (TUHH - Germany), Barnaby Roberts (London School of Economics - UK) Uma Aproximação para o Problema de Alocação de Terminais com Capacidade Lehilton L. C. Pedrosa (UNICAMP - Brazil), Vinícius B. de Souza (UNICAMP - Brazil) |
| 10:30 - 11:00 | Coffee break |
| 10:30 - 11:00 | Exposição dos Pôsteres |
| 11:00 - 13:00 | Sessão técnica II Representações Implícitas Probabilísticas de Grafos Juan Lopes (UERJ - Brazil), Fabiano Oliveira (UERJ - Brazil), Paulo Pinto (UERJ - Brazil) Vertex-disjoint path covers in graphs Renzo Gomez (USP - Brazil) Biclique edge-choosability in some classes of graphs Gabriel Sobral (UFPR - Brazil) Facility Leasing with Penalties Murilo de Lima (UNICAMP - Brazil), Mario San Felice (UNICAMP - Brazil), Orlando Lee (UNICAMP - Brazil) Advances in Anti-Ramsey Theory for random graphs Guilherme O. Mota (USP - Brazil) Método Exato para um Problema de Alocação Justa Edênis F. Azevedo (IME-USP), Carlos E. Ferreira (IME-USP), Alexandre S. Freire (EACH-USP), Aritanan Gruber (UFABC), Augusto Vellozo (Tecsinapse) |
| 13:00 - 14:30 | Almoço |
| 14:30 - 16:30 | SECOMU |
| 16:30 - 17:00 | Coffee break |
| 16:30 - 17:00 | Exposição dos Pôsteres |
| 17:00 - 17:40 | Palestra Grafos (k,l)-bem cobertos Profa Sulamita Klein, UFRJ |
| 17:40 – 19:00 | Sessão Técnica III Hitting all longest cycles in a graph Cristina Fernandes (USP - Brazil), Juan Gutierrez (USP - Brazil) Coloração arco-íris em grafos resultantes de produto cartesiano Aleffer Rocha (UFTPR - Brazil), Sheila Almeida (UFTPR - Brazil) Um algoritmo exato para biclique-coloração Guilherme de C. Mendes, Gomes (UFMG - Brazil), Vinicius dos Santos (UFMG - Brazil) Edge-colouring of triangle-free graphs with no proper majors Leandro Zatesko (UFFS - Brazil), Renato Carmo (UFPR - Brazil), André Guedes (UFPR - Brazil) Sessão Técnica IV Modelos para o Problema de Alocação de Pedágios Alloma Silva (PUC-MG - Brazil), Geraldo Robson Mateus (UFMG – Brazil) Uma versão algoritmica do Lema Local de Lovász Bruno Cavalar (USP - Brazil) Análise dos Tempos de Setup Dependentes da Sequência em uma Empresa do Polo Industrial de Manaus através da Regra de Liberação e do Algoritmo Genético Luiz Bentes (UEAM - Brazil), Wesley Rocha (UEAM - Brazil), Renata da E. Onety (UEAM - Brazil) New Insights on Prize Collecting Path Problem Edcarllos Santos (UFF - Brazil), Alfredo Candia (Universidad de Talca - Chile), Luiz Satoru Ochi (UFF - Brazil) |
| Horário | Título |
|---|---|
| 8:30 - 9:50 | Sessão técnica V Tight bounds for gap-labellings Celso A. Weffort-Santos (UNICAMP - Brazil), C. N. Campos (UNICAMP - Brazil), Rafael Schouery (UNICAMP - Brazil) Grafos do tipo Half Cut Rubens Sucupira (UERJ - Brazil), Sulamita Klein (UFRJ - Brazil), Luerbio Faria (UERJ - Brazil) The 1,2,3-Conjecture for powers of paths and powers of cycles Atílio Luiz (UNICAMP - Brazil), C. N. Campos (UNICAMP - Brazil) Uma generalização dos Códigos Hamming Natália de Souza (UFRJ - Brazil), Paulo Pinto (UERJ - Brazil), Jayme Szwarcfiter (UFRJ - Brazil) |
| 9:50 - 10:30 | Palestra Selfish 2D Bin Packing Games Profa. Yoshiko Wakabayashi, USP |
| 10:30 - 11:00 | Coffee break |
| 11:00 - 13:00 | Sessão técnica VI Reconhecendo Grafos com até 1 Cruzamento André Silva (UNICAMP - Brazil), Orlando Lee (UNICAMP - Brazil) On a joint technique for Hajós' and Gallai's Conjectures Fabio Botler (UNICAMP - Brazil), Maycon Sambinelli (UNICAMP - Brazil), Rafael S. Coelho (IFNMG- Brazil), Orlando Lee (UNICAMP - Brazil) Tighter Analysis of an Approximation for the Cumulative VRP Mauro H. Mulati (UNICENTRO - Brazil), Flavio Miyazawa (UNICAMP - Brazil) Minimum Weight t-Spanner Tree Problem Hugo Braga (USP- Brazil) Modelo Matemático para o Problema de Transporte Escolar em Zonas Rurais Jean Araujo (UFMG - Brazil) Sobre as relações racionais intrinsicamente ambíguas Rodrigo de Souza (UFRPE - Brazil) |
| 13:00 - 14:30 | Almoço |
| 14:30 - 16:30 | SECOMU |
| 16:30 – 17:00 | Coffee break |
| 17:00 - 17:50 | Palestra Geometria Molecular: Modelos e Algoritmos em 5D Prof. Carlile Lavor, UNICAMP |
| 17:50 –18:30 | Sessão técnica VII Uma técnica para obtenção de atratores de autômatos celulares elementares Eurico Ruivo (Universidade Presbiteriana Mackenzie - Brazil), Pedro de Oliveira (Universidade Presbiteriana Mackenzie - Brazil) Epistemic Logic Based on Dolev-Yao Model Mário Benevides (UFRJ - Brazil), Luiz Fernandez (UFRJ - Brazil), Anna Oliveira (UFRJ - Brazil) Sessão técnica VIII Algoritmo de Aproximação o Problema da Evacuação por Ônibus Lehilton L. C. Pedrosa (UNICAMP - Brazil), Rafael Schouery (UNICAMP- Brazil) Abordagens Heurísticas para o p-Cabo-Trincheira com Localização de Instalações Ulysses Rocha (Unicamp - Brazil), Natanael Ramos (UNICAMP - Brazil), Lucas Melo (UNICAMP - Brazil), Marcelo Benedito (UNICAMP - Brazil), André Silva (UNICAMP - Brazil), Rafael Cano (UNICAMP - Brazil), Flavio Miyazawa (UNICAMP- Brazil), Eduardo Xavier (UNICAMP - Brazil) |
| 18:50 – 19:00 | Encerramento |
