---------- Mensagem encaminhada ---------- De: Cláudia Sales <[email protected]> Data: 6 de março de 2017 11:09 Assunto: II ETC -- CSBC 2017 --- Chamada para Submissão de Trabalhos - NOVO DEADLINE Para: Rosiane deFreitasRodrigues <[email protected]>, Ana < [email protected]>, Edson Norberto Cáceres <[email protected]>, Erika Coelho <[email protected]>, Calebe de Paula Bianchini < [email protected]>, "Carlos E. Ferreira" <[email protected]>, cristinag fernandes <[email protected]>, Fabio Protti < [email protected]>, Flavio Miyazawa <[email protected]>, Luerbio Faria < [email protected]>, mcampelo <[email protected]>, Jayme Luiz Szwarcfiter <[email protected]>, Luiz Satoru Ochi <[email protected]>, " [email protected]" <[email protected]>, Luciana Salete Buriol < [email protected]>, [email protected], mario <[email protected]>, Claudson Bornstein <[email protected]>, Celina Figueiredo < [email protected]>, "Pedro P.B. de Oliveira" <[email protected]>, ceaco-l <[email protected]>, NAPOLEAO NEPOMUCENO <[email protected]>, Leonardo Sampaio Rocha <[email protected]>, [email protected], [email protected], Carlos Hoppen <[email protected]>, [email protected], Ricardo Cordeiro Correa <[email protected]>, [email protected], [email protected]
Prezados colegas, Por favor, tenham a gentileza de divulgar amplamente o nosso evento em suas instituições e em suas listas de contatos. O prazo para submissão de artigos foi estendido. Muito grata, Cláudia e Rosiane ----- *II ETC - ENCONTRO DE TEORIA DA COMPUTAÇÃO3-6 de julho de 2017São Paulo - SP* *(evento satélite do CSBC 2017)* *CHAMADA DE TRABALHOS* O II Encontro de Teoria da Computação (ETC 2017) é 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 XXXVII CSBC (Congresso da Sociedade Brasileira de Computação). Este evento é voltado para os alunos em formação, mas também visando proporcionar uma maior integração entre os pesquisadores e profissionais que atuam na mesma, 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. Este ano o Congresso da SBC discutirá "Computação para tudo e tod*s" e será realizado entre os dias 3 e 6 de julho na cidade de São Paulo. Convidamos a comunidade a compartilhar resultados de pesquisa por meio da submissão de resumos estendidos de no máximo 4 (quatro) páginas, seguindo o modelo de artigo da SBC (feito em latex preferencialmente, ou doc, mas, submetendo o pdf do artigo), abrangendo tanto pesquisas em nível de pós-graduação como também iniciação científica na graduação. Durante o CSBC, será realizado o II DACO (Desafio de Algoritmos, Combinatória e Otimização), cujos detalhes serão repassados posteriormente. *TÓPICOS DE INTERESSE* *- Algoritmos:* análise e projeto de algoritmos, técnicas de decomposição e balanceamento, algoritmos exatos, algoritmos aproximativos, algoritmos randomizados, algoritmos online, 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, algoritmos, abordagens lógicas à complexidade computacional, aplicações. - *Computabilidade: *modelos teóricos de computação, métodos e linguagens formais, autômatos, autômatos celulares, computabilidade de Turing e generalizações, teoria da prova, teoria da recursão, reduções, decidibilidade, definabilidade, conjuntos enumeráveis, sistemas de prova interativa, 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 multiobjetiva, otimização estocástica, otimização em redes, pesquisa operacional, modelagem e aplicações. - *Programação Matemática:* formulações, programação inteira linear e não-linear, programação por restrições, métodos enumerativos, cortes no plano, 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, equilibrio de Nash, dominância, preço da anarquia e da estabilidade, leilão e meecanismos, 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. *DATAS IMPORTANTES* - Submissão do resumo estendido: até *19 de março de 2017* - Resultado da avaliação da submissão: *24 de abril de 2017* - Submissão da versão definitiva do resumo estendido e inscrição para o evento: até *07 de maio de 2017* *FORMATO PARA SUBMISSÃO DE TRABALHOS* Os trabalhos devem ser submetidos na forma de resumos estendidos formatados seguindo o estilo dos artigos da SBC, disponível em http://tinyurl.com/sbc-template-artigos. Devem ter no máximo 04 (quatro) páginas incluindo referências, figuras e tabelas. A submissão dos artigos será eletrônica, em formato PDF, por meio do sistema JEMS ( https://submissoes.sbc.org.br/csbc_etc2016). Os trabalhos serão selecionados para apresentação oral de até 15 minutos ou para exposição em poster, a depender do volume de submissões e da qualidade das mesmas. O evento é aberto para a comunidade, mas com especial interesse nos alunos em formação de graduação e de pós-graduação. O melhor trabalho apresentado será objeto de premiação, a ser divulgado com as demais premiações do CSBC. Os trabalhos aceitos serão publicados em anais eletrônicos na página do CSBC. Pelo menos um dos autores de cada artigo aceito deve se inscrever no evento e comparecer ao mesmo para apresentar o trabalho. *COORDENAÇÃO GERAL DO CSBC 2017* Nizam Omar (U. P. Mackenzie) Luciano Silva (U. P. Mackenzie) *COORDENAÇÃO DO ETC 2017* Cláudia Linhares Sales (UFC) Rosiane de Freitas (UFAM) *COORDENAÇÃO LOCAL DO ETC 2017* Pedro P.B. de Oliveira (U. P. Mackenzie) *COMITÊ DE PROGRAMA* Ana Teresa Martins (UFC) Calebe Bianchini (U. P. Mackenzie) Carlos E. Ferreira (USP) Celina M.H. de Figueiredo (UFRJ) Cláudia Linhares Sales (UFC) Claudson Bornstein (UFRJ) Cristina G. Fernandes (USP) Edson Cárceres (UFMS) Erika Morais (UFG) Fábio Protti (IC, UFF) Flavio Keidi Miyazawa (UNICAMP) Jayme Szwarcfiter (UFRJ/UERJ) Luciana Buriol (UFRGS) Luerbio Farias (UERJ) Luiz C. Lamb (UFRGS) Luiz Satoru Ochi (UFF) Mario Benevides (UFRJ) Manoel Campelo (UFC) Rosiane de Freitas (UFAM) Vinicius Santos (UFMG) > -- Cláudia Linhares Sales Universidade Federal do Ceará -- Federal University of Rio de Janeiro www.cos.ufrj.br/~mario -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpXx7s3ETODAS23OhniTRqfTTPX1VDekNUZiQq9rvkqSFQ%40mail.gmail.com.
