ETC - VIII Encontro de Teoria da Computação
O Encontro de Teoria da Computação, em sua oitava 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 a 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.
Convidamos a comunidade científica, em particular àqueles atuando na área de teoria da computação e áreas correlatas, a submeterem seus resultados de pesquisa, por meio de resumos estendidos, ao VIII Encontro de Teoria da Computação, evento satélite do Congresso da Sociedade Brasileira de Computação (CSBC). Trabalhos envolvendo alunos de pós-graduação ou graduação são especialmente bem-vindos. Os trabalhos selecionados deverão ser apresentados oralmente em sessões técnicas do ETC 2023.
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.
Formato dos artigos
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.
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 fará parte do texto publicado nos anais em caso de aceitação do artigo.
Meio de submissão
A submissão dos artigos será eletrônica, em formato PDF, e será feita por meio do sistema JEMS a partir do link https://jems.sbc.org.br/etc2023.
Processo de revisão
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.
- Limite para submissão dos trabalhos:
05/03/2023–20/03/2023– 05/04/2023 (Final) - Notificação dos trabalhos selecionados:
05/05– 20/05/2023 - Data limite para envio das versões finais dos trabalhos:
16/05– 28/05/2023 - Pazo de inscrição autores(as):
16/05– 05/06/2023
Para que um artigo aceito seja apresentado e incluído nos anais do evento, é necessário que ao menos um dos autores do artigo realize a sua inscrição no evento. Cada inscrição na categoria profissional dá direito à publicação de um único artigo, considerando qualquer um dos eventos-base ou eventos-satélite do CSBC. Autores com mais de um artigo aprovado em qualquer evento do CSBC deverão pagar uma “taxa de publicação” por artigo adicional. O valor dessa taxa pode ser visto na página de inscrições do CSBC 2023.
Os resumos estendidos submetidos ao ETC 2023 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 as avaliações dos revisores, além de sua própria análise dos trabalhos.
Organizadores Gerais:
Cristina Gomes Fernandes (USP) – cris@ime.usp.br
Manoel Bezerra Campêlo Neto (UFC) – mcampelo@ufc.br
Vinicius Fernandes dos Santos (UFMG) – viniciussantos@dcc.ufmg.br
Apoio Local:
Teobaldo Leite Bulhões Júnior – tbulhoes@ci.ufpb.br
Organizadores do Comitê de Programa:
Cristina Gomes Fernandes (USP)
Manoel Bezerra Campêlo Neto (UFC)
Vinicius Fernandes dos Santos (UFMG)
Comitê de Programa (TPC):
Anand Subramanian, Universidade Federal da Paraíba
Álvaro Franco, Universidade Federal de Santa Catarina
Carlos Vinícius Gomes Costa Lima, Universidade Federal do Cariri
Cândida Silva, Universidade Federal de São Carlos, Campus Sorocaba
Críston Souza, Universidade Federal do Ceará
Cristiane Sato, Universidade Federal do ABC
Cristina Fernandes, Universidade de São Paulo
Diana Sasaki, Universidade do Estado do Rio de Janeiro
Edna Hoshino, Universidade Federal do Mato Grosso do Sul
Erika Coelho, Universidade Federal de Goiás
Fernanda Couto, Universidade Federal Rural do Rio de Janeiro
Gabriel Coutinho, Universidade Federal de Minas Gerais
Karolinna Maia, Universidade Federal do Ceará
Luís Cunha, Universidade Federal Fluminense
Manoel Bezerra Campelo Neto, Universidade Federal do Ceará
Marina Groshaus, Universidade Tecnológica Federal do Paraná
Márcia Cerioli, Universidade Federal do Rio de Janeiro
Rafael Melo, Universidade Federal da Bahia
Rafael Schouery, Universidade Estadual de Campinas
Ricardo Corrêa, Universidade Federal Rural do Rio de Janeiro
Rosiane de Freitas, Universidade Federal do Amazonas
Santiago Ravelo, Universidade Federal do Rio Grande do Sul
Tanilson Santos, Universidade Federal do Tocantins
Teobaldo Bulhões Júnior, Universidade Federal da Paraíba
Vinicius dos Santos, Universidade Federal de Minas Gerais
Contato para dúvidas:
