ETC - 11º Encontro de Teoria da Computação

Sobre o Evento

O ETC é um fórum voltado para a grande área de Teoria da Computação, 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.

Esse evento é voltado primeiramente para 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 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.

Em sua décima primeira edição, 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 e também a prestigiar os trabalhos selecionados com sua presença nas apresentações. 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 incluem, mas não são limitados a:

  • Algoritmos: análise e projeto de algoritmos, algoritmos exatos, algoritmos de aproximação, algoritmos probabilísticos, algoritmos parametrizados, algoritmos online, técnicas de decomposição e balanceamento, algoritmos distribuídos e paralelos.
  • Complexidade Computacional: análise de problemas e algoritmos, NP-completude, reduções polinomiais, inaproximabilidade, classes de complexidade de tempo e espaço, complexidade parametrizada, análise amortizada, 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, definibilidade, conjuntos enumeráveis, sistemas de provas interativas, matemática reversa, redes de Petri, aplicações.
  • Otimização Combinatória: otimização em redes, programação dinâmica, estruturas combinatórias, combinatória poliédrica, métodos exatos e aproximativos, métodos de busca global e de busca local, heurísticas, modelagem e aplicações.
  • Programação Matemática: programação linear inteira e não-linear, programação multiobjetivo, programação por restrições, otimização estocástica, otimização robusta, formulações, decomposições, métodos de solução exatos, heurísticos e híbridos.
  • Teoria dos Grafos e Combinatória: problemas clássicos, caracterização estrutural, reconhecimento, classes de grafos, estruturas proibidas, desenho e layout de grafos, teoria espectral, teoria extremal, grafos aleatórios, algoritmos, complexidade, aplicações.
  • Teoria da Informação, Números e Criptografia: fundamentos, compressão, teoria de códigos, corretores de erro, codificação de fonte, sistemas numéricos, aritmética modular, congruências, divisibilidade, criptoanálise, protocolos com segurança demonstrável, algoritmos, aplicações.
  • Teoria dos Jogos e da Decisão: fundamentos, sistemas em equilíbrio, equilíbrio de Nash, dominância, preço da anarquia e da estabilidade, leilões e mecanismos, precificação, estratégias competitivas, jogos cooperativos, jogos combinatórios, pesquisa operacional, algoritmos, aplicações.
  • Geometria Computacional: algoritmos e estruturas de dados para problemas geométricos estáticos e cinéticos, espaços métricos, geometria de distâncias, estruturas baseadas em propriedades geométricas, estruturas espaciais, aplicações.
  • Aplicações 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.

Instruções de Submissão

  • Os trabalhos devem ser submetidos na forma de resumos estendidos, elaborados preferencialmente em LaTeX, seguindo o formato de artigos da SBC, disponível em https://www.sbc.org.br/wp-content/uploads/2024/07/modelosparapublicaodeartigos.zip. Devem ter no máximo 04 (quatro) páginas, sem incluir as referências, que poderão estar em uma página adicional.
  • O artigo poderá ter opcionalmente um apêndice, fora do limite de 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 fará parte do texto publicado nos anais em caso de aceitação do artigo.
  • O trabalho submetido será revisado com método single-blind por pelo menos dois revisores, sejam membros do comitê de programa ou pesquisadores por eles indicados.
  • Os artigos podem ser escritos em português ou inglês.
  • Os autores deverão seguir as recomendações do Código de Conduta para Autores em Publicações da SBC na elaboração de seus trabalhos.
  • As submissões devem ser feitas no sistema JEMS através do link: https://jems3.sbc.org.br/etc

Inscrição e Participação no Evento

Devido a limitações de espaço na programação do CSBC, o número de trabalhos selecionados para apresentação oral provavelmente será menor do que em edições anteriores do ETC. Desta forma, a depender do número de trabalhos aceitos, alguns trabalhos serão convidados a serem apresentados no formato de pôster.

A inscrição pagante de ao menos um autor de cada artigo aceito é obrigatória para sua inserção nos Anais do evento. Autores com mais de um artigo aprovado, em qualquer evento do CSBC, podem realizar o pagamento de uma única inscrição, acrescida de uma “taxa de publicação extra” por artigo adicional. Os organizadores se reservam o direito de não incluir nos Anais aqueles trabalhos que não forem apresentados durante o evento.

Publicação dos Trabalhos

Independentemente da forma de apresentação (oral ou pôster), os artigos aceitos serão indexados com DOI e publicados nos anais do evento que serão disponibilizados online na SBC OpenLib (SOL), o portal de conteúdo da SBC.

Datas Importantes

  • Prazo para submissão dos trabalhos: 02 de março de 2026
  • Divulgação dos resultados: 04 de maio de 2026
  • Envio das versões finais dos artigos: 18 de maio de 2026
  • Prazo de inscrição dos autores: 18 de maio de 2026
  • CSBC 2026: 19 a 23 de julho de 2026

Premiações

Os resumos estendidos submetidos ao ETC 2026 estarão automaticamente concorrendo ao prêmio de melhor trabalho do evento, que será escolhido por uma comissão especialmente designada para esse fim, composta por pelo menos três membros. A comissão levará em conta, além do resumo submetido e da apresentação, as avaliações dos revisores.

Coordenação

  • Carla Negri Lintzmayer (UFABC) – Coordenadora Geral
  • Rudini Menezes Sampaio (UFC) – Coordenador Geral
  • Vinícius Fernandes dos Santos (UFMG) – Coordenador Geral

Comitê de Programa

  • Ana Flávia Uzeda dos Santos Macambira (UFPB)
  • André Vignatti (UFPR)
  • Atílio Gomes Luiz (UFC)
  • Carla Negri Lintzmayer (UFABC)
  • Carlos Hoppen (UFRGS)
  • Guilherme de Castro Mendes Gomes (UFMG)
  • Jesus Ossian Cunha Silva (DEMA-UFC)
  • Julliano Rosa Nascimento (UFG)
  • Lehilton Lelis Chaves Pedrosa (UNICAMP)
  • Márcia Cappelle (UFG)
  • Márcia Helena Costa Fampa (UFRJ)
  • Pedro Henrique Del Bianco Hokama (UNIFEI)
  • Roberto Freitas Parente (UFBA)
  • Rosiane de Freitas Rodrigues (UFAM)
  • Rudini Menezes Sampaio (DC-UFC)
  • Sheila Morais de Almeida (UTFPR)
  • Thiago Braga Marcilon (UFCA)
  • Uéverton dos Santos Souza (UFF)
  • Vinícius Fernandes dos Santos (UFMG)
  • Warley Gramacho da Silva (UFT)

Contato

ceaco.sbc@gmail.com