4º ETC
ENCONTRO DE TEORIA DA COMPUTAÇÃO
Tópicos de interesse
– Algoritmos: análise e projeto de algoritmos, técnicas de decomposição e balanceamento, algoritmos exatos, algoritmos de aproximação, algoritmos probabilísticos, algoritmos online, algoritmos distribuídos e paralelos.
– Complexidade Computacional: análise de problemas e algoritmos, NP-completude, reduções polinomiais, prova de polinomialidade, classes de complexidade de tempo e espaço, complexidade parametrizada, análise amortizada, inaproximabilidade, algoritmos
– Computabilidade: modelos teóricos de computação, métodos e linguagens formais, autômatos, computabilidade de Turing e generalizações, teoria da prova, teoria da recursão, reduções, decidibilidade, definabilidade, conjuntos enumeráveis, sistemas de prova interativa, matemática reversa, redes de Petri, aplicações.
– Otimização Combinatória: estruturas combinatórias, combinatória poliédrica, métodos exatos e aproximados, métodos de busca global e de busca local, otimização multiobjetiva, otimização estocástica, otimização em redes, pesquisa operacional, modelagem e aplicações.
– Programação Matemática: formulações, programação inteira linear e não-linear, programação por restrições, métodos enumerativos, planos de corte, branch-and-bound, branch-and-cut, branch-and-price, branch-cut-and-price, branch-and-prune, métodos híbridos exato-heurístico, programação dinâmica, etc.
– Teoria dos Grafos e Combinatória: caracterização estrutural, classes de grafos, reconhecimento, estruturas proibidas, problemas clássicos, desenho e layout de grafos, teoria espectral, grafos aleatórios, complexidade, algoritmos, aplicações.
Datas Importantes
- Submissão do resumo estendido: até 01 de abril de 2019 (prorrogado)
- Resultado da avaliação da submissão: 29 de abril de 2019
- Submissão da versão definitiva do resumo estendido e inscrição para o evento: até 06 de maio de 2019
Instruções aos autores
Os trabalhos devem ser submetidos na forma de resumos estendidos formatados seguindo o estilo dos artigos da SBC, disponível em http://tinyurl.com/sbc-
Pelo menos um dos autores de cada artigo aceito deve se inscrever no evento e comparecer ao mesmo para apresentar o trabalho. Os trabalhos serão selecionados para apresentação oral de até 15 minutos ou para exposição em pôster, a depender do volume de submissões e da qualidade das mesmas. Os trabalhos aceitos serão publicados em anais eletrônicos na página do CSBC. O melhor trabalho apresentado será objeto de premiação.
Coordenadores do 4º ETC
Coordenação Geral
Cláudia Linhares Sales (UFC)
Flavio Keidi Miyazawa (UNICAMP)
Jayme Szwarcifter (UFRJ e UERJ)
Rosiane de Freitas (UFAM)
—
Vinicius Santos (UFMG)
Apoio Local
Danielle Couto (UFPA)
Contato
E-mail: danifc@ufpa.br, jayme@nce.ufrj.br, rosiane@icomp.ufam.edu.br
Steering Committee do ETC:
Cláudia Linhares Sales | UFC |
Jayme Szwarcfiter | UFRJ |
Rosiane de Freitas | UFAM |