ETC

ETC 2021 – VI Encontro de Teoria da Computação

Evento Satélite do CSBC 2021

18 a 23 de Julho de 2021

Chamada de Trabalhos

O VI Encontro de Teoria da Computação (ETC 2021) é 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 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, 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 2021 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: https://jems.sbc.org.br/home.cgi?c=3737

Datas Importantes

  • Data limite para submissão dos trabalhos: 12/03 26/03 16/04/2021 (hard)
  • Notificação dos trabalhos aceitos: 30/04 21/05/2021
  • Data limite para envio das versões finais: 14/05 04/06/2021
  • Data limite para envio do comprovante de inscrição: 14/05 04/06/2021

Apresentação dos Trabalhos

Os trabalhos serão selecionados para apresentação oral de cerca de 15 a 20 minutos, a depender do volume de submissões. 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. 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. O formato online está sendo considerado o formato mais provável. Mais informações serão fornecidas no futuro.

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.

Organização

Coordenação do ETC 2021

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

Steering Committee do ETC

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

Coordenação Local do ETC

Alessandro Mueller (UNIVALI)

Comitê de Programa do ETC

Ana Shirley Ferreira da Silva (UFC)
Andre Luís Vignatti (UFPR)
Candida Nunes da Silva (UFSCAR)
Carla Negri Lintzmayer (UFABC)
Carlos Hoppen (UFRGS)
Celina Miraglia Herrera de Figueiredo (UFRJ)
Claudia Linhares Sales (UFC)
Edna Ayako Hoshino (UFMS)
Fábio Protti (UFF)
Flávio Keidi Miyazawa (UNICAMP)
Franklin de Lima Marquezino (UFRJ)
Gabriel de Morais Coutinho (UFMG)
Guilherme Oliveira Mota (USP)
Hugo Nobrega (UFRJ)
Lehilton Lelis Chaves Pedrosa (UNICAMP)
Manoel Bezerra Campelo Neto (UFC)
Marcel Kenji de Carli Silva (USP)
Marcia Cappelle (UFG)
Mário Sérgio Ferreira Alvim Júnior (UFMG)
Orlando Lee (UNICAMP)
Rafael Santos Coelho (UNIPAMPA)
Roberto Freitas Parente (UFBA)
Rosiane de Freitas Rodrigues (UFAM)
Sheila Morais de Almeida (UTFPR)
Uéverton dos Santos Souza (UFF)
Vinicius Fernandes dos Santos (UFMG)