Sobre o Evento

O Encontro de Teoria da Computação, em sua nona edição, tem se apresentado como 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.

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.

Datas Importantes

• Limite para submissão dos trabalhos: 04/03/2024 24/03/2024 03/04/2024
• Notificação dos trabalhos selecionados: 05/05/2024 10/05/2024 
• Data limite para envio das versões finais dos trabalhos: 25/05/2024
• Prazo de inscrição autores(as): 03/06/2024

Instruções para 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 http://tinyurl.com/sbc-template-artigos. 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 (versão preliminar) na elaboração de seus trabalhos.
• As submissões devem ser feitas no sistema JEMS através do link: https://jems3.sbc.org.br/events/101.
• 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.
• 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.

Premiações

Os resumos estendidos submetidos ao ETC 2024 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.

Inscrição e Participação no Evento

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.

Coordenação Geral e do Comitê de Programa

• Carla Negri Lintzmayer (UFABC)
• Manoel Bezerra Campêlo Neto (UFC)
• Vinicius Fernandes dos Santos (UFMG)

Comitê de Programa

• Alvaro J. P. Franco (Universidade Federal de Santa Catarina)
• Anand Subramanian (Universidade Federal da Paraíba)
• Carla Negri Lintzmayer (Universidade Federal do ABC)
• Cristiane M. Sato (Universidade Federal do ABC)
• Diana Sasaki (Universidade do Estado do Rio de Janeiro)
• Fernanda Vieira Dias Couto (Universidade Federal Rural do Rio de Janeiro)
• Karolinna Maia (Universidade Federal do Ceará)
• Luidi Simonetti (Universidade Federal do Rio de Janeiro)
• Manoel Campelo (Universidade Federal do Ceará)
• Márcia Rosana Cerioli (Universidade Federal do Rio de Janeiro)
• Marcio Costa Santos (Universidade Federal de Minas Gerais)
• Mauricio Ayala-Rincón (Universidade de Brasília)
• Rafael A. Melo (Universidade Federal da Bahia)
• Rafael-Schouery (Universidade Estadual de Campinas)
• Rian Pinheiro (Universidade Federal de Alagoas)
• Rômulo da Silva (Universidade Federal do Pará)
• Santiago Ravelo (Universidade Estadual de Campinas)
• Sheila de Almeida (Universidade Tecnológica Federal do Paraná)
• Taísa Lopes Martins (Universidade Federal Fluminense)
• Teobaldo L. Bulhões Júnior (Universidade Federal da Paraíba)
• Vinicius Fernandes dos Santos (Universidade Federal de Minas Gerais)