[AllUsers-ISR] Fwd: [sbc-l] CFP ETC 2021 - VI Encontro de Teoria da Computação @ CSBC 2021

[patricia.almeida at isr.uc.pt]

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


Evento Satélite do CSBC 2021 

18 a 23 de Julho de 2021 

[ http://sbc.org.br/csbc2021/eventos/etc | http://sbc.org.br/csbc2021/eventos/etc ] -------------------------------------------------------------------------------- 
-------------------------------------------------------------------------------- 





CHAMADA DE TRABALHOS 


INTRODUÇÃO 

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 | 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 e, quando disponível, será feita por meio do sistema JEMS. 

[ https://jems.sbc.org.br/home.cgi?c=3737 | https://jems.sbc.org.br/home.cgi?c=3737 ] 


DATAS IMPORTANTES 

– Data limite para submissão dos trabalhos: 12/03/2021 

– Notificação dos trabalhos aceitos: 30/04/2021 

– Data limite para envio das versões finais: 14/05/2021 

– Data limite para envio do comprovante de inscrição: 14/05/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. 



ORGANIZADORES 

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) 

_______________________________________________ 
sbc-l mailing list 
sbc-l at sbc.org.br 
http://grupos.ufrgs.br/mailman/listinfo/sbc-l 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.isr.uc.pt/archive/allusers/attachments/20210210/a1c2b5a2/attachment-0001.html>