ETC 2020 – V Encontro de Teoria da Computação

CHAMADA DE TRABALHOS

INTRODUÇÃO

O V Encontro de Teoria da Computação (ETC 2020) é 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 XL CSBC.

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 seja 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.

Convidamos a comunidade a compartilhar resultados de pesquisa por meio da submissão de resumos estendidos abrangendo tanto pesquisas em nível de pós-graduação como também iniciação científica na graduação.

O evento é aberto para a comunidade, mas com especial interesse nos alunos em formação de graduação e de pós-graduação.

TÓPICOS DE INTERESSE

Os tópicos de interesse do ETC 2020 incluem, mas não estão limitados a:

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 parametrizados, 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, abordagens lógicas à complexidade computacional, aplicações.

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 provas interativas, 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 multiobjetivo, otimização estocástica, otimização robusta, otimização em redes, pesquisa operacional, modelagem e aplicações.

Programação Matemática: formulações, programação linear inteira 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.

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ões 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.

FORMATO DOS ARTIGOS

Os trabalhos devem ser submetidos na forma de resumos estendidos, formatados seguindo o estilo dos artigos da SBC (feito preferencialmente em LaTeX), disponível em http://tinyurl.com/sbc-template-artigos. Devem ter no máximo 04 (quatro) páginas incluindo referências, figuras e tabelas.

O artigo poderá ter opcionalmente um apêndice, fora do limite de 4 páginas, contendo material de apoio adicional (como provas, detalhes de implementação ou experimentos computacionais), que não puderam ser incluídos no artigo submetido. O apêndice poderá ser usado para fins de avaliação do trabalho, mas não será publicado, mesmo em caso de aceitação do artigo.

A submissão dos artigos será eletrônica, em formato PDF, por meio do sistema JEMS.

DATAS IMPORTANTES

– Data limite para submissão dos trabalhos: 16/03/2020 31/03/2020 30/04/2020 07/05/2020
– Notificação dos trabalhos aceitos: 30/04/2020 10/06/2020
– Registro dos autores: 05/05/2020 30/06/2020
– Data limite para envio das versões finais: 15/05/2020 30/06/2020

APRESENTAÇÃO DOS TRABALHOS

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. O melhor trabalho apresentado será objeto de premiação.

Os artigos aceitos serão publicados nos anais do evento, que serão disponibilizados online na SBC OpenLib, o portal de conteúdo da SBC, na série Anais do Encontro de Teoria da Computação (ISSN 2595-6116). Todos os artigos serão indexados com DOI.

Os organizadores se reservam o direito de não incluir nos anais aqueles trabalhos que, durante o evento, não forem apresentados por um de seus autores ou por algum representante indicado.

INFORMAÇÕES ADICIONAIS

INSCRIÇÃO NO EVENTO

A inscrição pagante de ao menos um autor do artigo é obrigatória para inserção do artigo nos Anais de cada evento. Autores com mais de um artigo aprovado, em qualquer evento, podem realizar o pagamento de uma única inscrição, acrescida de uma “taxa de publicação extra” por artigo adicional.

PALESTRANTES CONFIRMADOS

  • Cristina Gomes Fernandes (USP)
  • Edson Norberto Cáceres (UFMS)
  • Eduardo Uchoa Barboza (UFF)
  • Luciana Salete Buriol (UFRGS)
  • Rosiane de Freitas (UFAM)

ORGANIZADORES

Coordenação geral

  • Cláudia Linhares Sales (UFC)
  • Flávio Keidi Miyazawa (UNICAMP)
  • Manoel Bezerra Campelo Neto (UFC)
  • Vinicius Fernandes dos Santos (UFMG)

Coordenação local

  • Vanessa de Oliveira – (UFMT)

STEERING COMMITTEE

  • Cláudia Linhares Sales (UFC)
  • Jayme Luiz Szwarcfiter (UFRJ)
  • Rosiane de Freitas (UFAM)

COMITÊ DE PROGRAMA

  • André Vignatti (UFPR)
  • Breno Piva (UFS)
  • C. N. Campos (UNICAMP)
  • Carla Lintzmayer (UFABC)
  • Carlos Hoppen (UFRN)
  • Carlos Eduardo Ferreira (USP)
  • Cândida Silva (UFSCar)
  • Celina Figueiredo (UFRJ)
  • Claudia Linhares Sales (UFC)
  • Cristina Fernandes (USP)
  • Edna Hoshino (UFMS)
  • Edson Cáceres (UFMS)
  • Eduardo Xavier (UNICAMP)
  • Erika Coelho (UFG)
  • Fabio Protti (UFF)
  • Flavio Miyazawa (UNICAMP)
  • Guilherme Oliveira Mota (USP)
  • Haroldo Gambini Santos (UFOP)
  • Jayme Szwarcfiter (UFRJ)
  • Joao Marcos (UFRN)
  • Luerbio Faria (UERJ)
  • Manoel Bezerra Campelo Neto (UFC)
  • Mário Alvim (UFMG)
  • Mário Benevides (UFF)
  • Rosiane de FreitasR (UFAM)
  • Uéverton Souza (UFF)
  • Vinicius dos Santos (UFMG)