The II Encontro de Teoria da Computação will be held on 3-4 July 2017 in São Paulo

II ETC - ENCONTRO DE TEORIA DA COMPUTAÇÃO

July 3-4, 2017

São Paulo - SP

(CSBC 2017 Satellite Event)

Please visit: http://csbc2017.mackenzie.br/eventos/2-etc

CHAMADA DE TRABALHOS (submissão de trabalhos estendida para até 26/03)

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 (Congresso da Sociedade Brasileira de Computação).

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.

Este ano o Congresso da SBC discutirá "Computação para tudo e tod*s" e será realizado entre os dias 3 e 6 de julho na cidade de São Paulo.

Convidamos a comunidade a compartilhar resultados de pesquisa por meio da submissão de resumos estendidos de no máximo 4 (quatro) páginas, seguindo o modelo de artigo da SBC (feito em latex preferencialmente, ou doc, mas, submetendo o pdf do artigo), abrangendo tanto pesquisas em nível de pós-graduação como também iniciação científica na graduação.

Durante o CSBC, será realizado o II DACO (Desafio de Algoritmos, Combinatória e Otimização), cujos detalhes serão repassados posteriormente.

TÓPICOS DE INTERESSE

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.

Teoria da Informação, Números e Criptografia: fundamentos, teoria de códigos, sistemas numéricos, aritmética modular, congruências, divisibilidade, codificação de fonte, corretores de erro, compressão, criptoanálise, protocolos com segurança demonstrável, algoritmos, aplicações.

Teoria dos Jogos e da Decisão: fundamentos, estratégias competitivas, sistemas em equilíbrio, equilíbrio de Nash, dominância, preço da anarquia e da estabilidade, leilão e mecanismos, precificação, jogos cooperativos, jogos combinatórios, pesquisa operacional, algoritmos, aplicações.

Geometria Computacional: espaços métricos, geometria de distâncias, algoritmos geométricos,estruturas baseadas em propriedades geométricas, estruturas espaciais, 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

Submissão do resumo estendido: até 26 de março de 2017

Resultado da avaliação da submissão: 01 de maio de 2017

Submissão da versão definitiva do resumo estendido e inscrição para o evento: até 07 de maio de 2017

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.

Pelo menos um dos autores de cada artigo aceito deve se inscrever no evento e comparecer ao mesmo para apresentar o trabalho.

COORDENAÇÃO GERAL DO CSBC 2017

Nizam Omar (U. P. Mackenzie)

Luciano Silva (U. P. Mackenzie)

COORDENAÇÃO DO ETC 2017

Cláudia Linhares Sales (UFC)

Rosiane de Freitas (UFAM)

COORDENAÇÃO LOCAL DO ETC 2017

Pedro P.B. de Oliveira (U. P. Mackenzie)

COMITÊ DE PROGRAMA

Ana Teresa Martins (UFC)

Calebe Bianchini (U. P. Mackenzie)