- Algoritmos: análise e projeto de algoritmos, técnicas de decomposição e balanceamento, algoritmos exatos, algoritmos aproximativos, algoritmos randomizados, 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, abordagens lógicas à complexidade computacional, aplicações.
- Computabilidade: modelos teóricos de computação, métodos e linguagens formais, autômatos, autômatos celulares, 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, cortes no plano, 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.
- Aplicações em outras áreas de conhecimento e problemas práticos: alocação de recursos, apoio à tomada de decisão, biologia computacional, compiladores, economia, escalonamento, engenharias, estrutura molecular, pesquisa operacional, probabilidade e estatística, processos produtivos, reconhecimento de padrões, redes de computadores, redes complexas, redes livres de escala e redes web, robótica, roteamento, segurança de código, sistemas e redes, sistemas paralelos e distribuídos,teoria de conjuntos, visualização de dados, aplicações com grandes massas de dados, aplicações dinâmicas, aplicações de tempo real.
DATAS IMPORTANTES
FORMATO PARA SUBMISSÃO DE TRABALHOS
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-template-artigos. Devem ter no máximo 04 (quatro) páginas incluindo referências, figuras e tabelas. A submissão dos artigos será eletrônica, em formato PDF, por meio do sistema JEMS (https://submissoes.sbc.org.br/csbc_etc2016).
Os trabalhos serão selecionados para apresentação oral de até 15 minutos ou para exposição em poster, a depender do volume de submissões e da qualidade das mesmas. O evento é aberto para a comunidade, mas com especial interesse nos alunos em formação de graduação e de pós-graduação. O melhor trabalho apresentado será objeto de premiação, a ser divulgado com as demais premiações do CSBC. Os trabalhos aceitos serão publicados em anais eletrônicos na página do CSBC.
Nizam Omar (U. P. Mackenzie)
Luciano Silva (U. P. Mackenzie)