<div dir="ltr"> <div class="gmail_quote">---------- Mensagem encaminhada ---------- De: Sobrapo <<a href="mailto:sobrapo@sobrapo.org.br">sobrapo@sobrapo.org.br</a>> Data: 2 de fevereiro de 2018 13:07 Assunto: ENC: Chamada de Trabalhos -- III ETC - Encontro de Teoria da Computação (CSBC 2018) Para: Sobrapo <<a href="mailto:sobrapo@sobrapo.org.br">sobrapo@sobrapo.org.br</a>> <div lang="PT-BR" link="#0563C1" vlink="#954F72"><div class="m_4707248858685477500WordSection1">Nos desculpamos por eventuais duplicações e pedimos divulgar em sua instituição.<div class="MsoNormal" align="center" style="text-align:center"><hr size="2" width="100%" align="center"></div>Se você não deseja receber nossos mails, por favor, nos informe.<div class="MsoNormal" align="center" style="text-align:center"><hr size="2" width="100%" align="center"></div> -----Mensagem original----- De: mcampelo [mailto:<a href="mailto:mcampelo@lia.ufc.br" target="_blank">mcampelo@lia.ufc.br</a>] ===== Prezados colegas, Com desculpas antecipadas pelo eventual recebimento de múltiplas cópias, por favor, peço a gentileza e o empenho de todos na divulgação do III ETC, com data limite de submissão dia 15 de março. --------------------------------------------- III ETC - ENCONTRO DE TEORIA DA COMPUTAÇÃO22-23 de julho de 2018Natal - RN (EVENTO SATÉLITE DO CSBC 2018) CHAMADA DE TRABALHOS A edição de 2018 do Congresso da Sociedade Brasileira de Computação(CSBC) tem o objetivo de aproximar a comunidade brasileira de pesquisadores, estudantes e profissionais da área de computação em torno do tema #ComputaçãoeSustentabilidade. Promover sustentabilidade é antes de mais nada criar e manter condições para que possamos avançar em harmonia com o meio ambiente. Em termos de avanços tecnológicos, a Ciência da Computação usada em prol da sustentabilidade emerge como um campo interdisciplinar, no qual técnicas computacionais são usadas para possibilitar o desenvolvimento sustentável, e, desse modo, equilibrar as necessidades ambientais, econômicas e sociais. O III Encontro de Teoria da Computação (ETC 2018) é 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 XXXVIII CSBC. 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. 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. Ressaltamos que sendo o III ETC um evento nacional, os trabalhos submetidos ao mesmo podem ser objeto de comunicação no _8th Latin American Workshop on Cliques in Graphs _(<a href="http://lawcg2018.icomp.ufam.edu.br/" target="_blank">http://lawcg2018.icomp.ufam.edu.br/</a> [1]), evento satélite do (International Congress of Mathematicians), que será realizado no Rio de Janeiro em agosto de 2018. 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 de aproximação, algoritmos probabilísticos, 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, 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, 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, equilibrio 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. DATAS IMPORTANTES * Submissão do resumo estendido: até 15 DE MARÇO DE 2018 * Resultado da avaliação da submissão: 20 DE ABRIL DE 2018 * Submissão da versão definitiva do resumo estendido e inscrição para o evento: até 30 DE ABRIL DE 2018 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 <a href="http://tinyurl.com/sbc-template-artigos" target="_blank">http://tinyurl.com/sbc-template-artigos</a> [2]. Devem ter no máximo04 (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 (<a href="https://submissoes.sbc.org.br/csbc_etc2016" target="_blank">https://submissoes.sbc.org.br/csbc_etc2016</a> [3]).O evento é aberto para a comunidade, mas com especial interesse nos alunos em formação de graduação e de pós-graduação. Pelo menos um dos autores de cada artigo aceito deve se inscrever no evento e comparecer ao mesmo para apresentar o trabalho. Os trabalhos serão selecionados para apresentação oral de até 15 minutos ou para exposição em pôster, a depender do volume de submissões e da qualidade das mesmas. Os trabalhos aceitos serão publicados em anais eletrônicos na página do CSBC. O melhor trabalho apresentado será objeto de premiação. COORDENAÇÃO GERAL DO CSBC 2018 Chico Dantas (UFRN) COORDENAÇÃO DO ETC 2018 Cláudia Linhares Sales (UFC)Rosiane de Freitas (UFAM) _STEERING COMMITTEE DO ETC_: Cláudia Linhares Sales (UFC)Jayme Szwarcfiter (UFRJ) Rosiane de Freitas (UFAM) COMITÊ DE PROGRAMA DO ETC 2018: Ana Teresa Martins (UFC)Carlos Eduardo Ferreira (USP)Cláudia Linhares Sales (UFC)Claudson Bornstein (UFRJ)Cristina Fernandes (USP)Edson Cáceres (UFMS)Erika Coelho (UFGO)Fábio Protti (UFF)Flavio Keidi Miyazawa (UNICAMP)Jayme Szwarcfiter (UFRJ e UERJ)Luerbio Faria (UERJ)Luiz Satoru Ochi (UFF)Manoel Campelo (UFC)Marco Goldbarg (UFRN)Marcus Ritt (UFRGS) Mario Benevides (UFRJ) Rosiane de Freitas (UFAM)Sulamita Klein (UFRJ) Vinicius Santos (UFMG) -- Cláudia Linhares Sales Universidade Federal do CearáLinks:------[1] <a href="http://lawcg2018.icomp.ufam.edu.br/" target="_blank">http://lawcg2018.icomp.ufam.edu.br/</a>[2] <a href="http://tinyurl.com/sbc-template-artigos" target="_blank">http://tinyurl.com/sbc-template-artigos</a>[3] <a href="https://submissoes.sbc.org.br/csbc_etc2016" target="_blank">https://submissoes.sbc.org.br/csbc_etc2016</a> ==================================================================================++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++==================================================================================SOBRAPO<a href="mailto:sobrapo@sobrapo.org.br" target="_blank">sobrapo@sobrapo.org.br</a> Fone: 55 21 2263-0499skype: sobrapo SBPO 2018Local: PUC-RioData: 06 a 09 de AGOSTO de 2018Deadlines:- Trabalhos completos, TIC, proposta de Mini Cursos: 12 de MARÇO 2018.- Posters: 28 de MAIO de 2018 </div></div></div> <div> </div>-- <div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>Luana Takahashi</div><div>Secretária ABE</div><div>Tel: 11 3091-6261</div><div>Rua do Matão,1010 sala 250A</div><div><a href="http://www.redeabe.org.br" target="_blank">www.redeabe.org.br</a></div></div></div> </div>