{"id":649,"date":"2019-12-04T18:04:04","date_gmt":"2019-12-04T21:04:04","guid":{"rendered":"http:\/\/www4.sbc.org.br\/csbc2020\/?p=649"},"modified":"2020-11-15T20:01:48","modified_gmt":"2020-11-15T23:01:48","slug":"etc-2020-v-encontro-de-teoria-da-computacao","status":"publish","type":"post","link":"https:\/\/www4.sbc.org.br\/csbc2020\/?p=649","title":{"rendered":"ETC 2020 – V Encontro de Teoria da Computa\u00e7\u00e3o"},"content":{"rendered":"\n
\n
\n
Confira a Programa\u00e7\u00e3o do Evento<\/strong><\/a><\/div>\n<\/div>\n\n\n\n
\n
Acesse os Anais do Evento<\/strong><\/a><\/div>\n<\/div>\n<\/div>\n\n\n\n

CHAMADA DE TRABALHOS<\/strong><\/p>\n\n\n\n

INTRODU\u00c7\u00c3O<\/h4>\n\n\n\n

O V Encontro de Teoria da Computa\u00e7\u00e3o (ETC 2020) \u00e9 um f\u00f3rum voltado para a grande \u00e1rea de Teoria da Computa\u00e7\u00e3o, sendo proposto por membros da Comiss\u00e3o Especial em Algoritmos, Combinat\u00f3ria e Otimiza\u00e7\u00e3o (CE-ACO), com objetivo de promover uma maior divulga\u00e7\u00e3o da \u00e1rea para a comunidade brasileira de computa\u00e7\u00e3o e afins, atrav\u00e9s do principal evento da SBC, o XL CSBC.<\/p>\n\n\n\n

Este evento \u00e9 voltado para os alunos em forma\u00e7\u00e3o, mas tamb\u00e9m visa proporcionar uma maior integra\u00e7\u00e3o entre os pesquisadores e profissionais que atuam na \u00e1rea, seja com enfoque em teoria pura seja em aplica\u00e7\u00f5es, estimulando a discuss\u00e3o da import\u00e2ncia dos fundamentos da computa\u00e7\u00e3o e sua aplica\u00e7\u00e3o direta no entendimento e resolu\u00e7\u00e3o de problemas das mais diversas \u00e1reas e segmentos de mercado.<\/p>\n\n\n\n

Convidamos a comunidade a compartilhar resultados de pesquisa por meio da submiss\u00e3o de resumos estendidos abrangendo tanto pesquisas em n\u00edvel de p\u00f3s-gradua\u00e7\u00e3o como tamb\u00e9m inicia\u00e7\u00e3o cient\u00edfica na gradua\u00e7\u00e3o.<\/p>\n\n\n\n

O evento \u00e9 aberto para a comunidade, mas com especial interesse nos alunos em forma\u00e7\u00e3o de gradua\u00e7\u00e3o e de p\u00f3s-gradua\u00e7\u00e3o.<\/p>\n\n\n\n

T\u00d3PICOS DE INTERESSE<\/h4>\n\n\n\n

Os t\u00f3picos de interesse do ETC 2020 incluem, mas n\u00e3o est\u00e3o limitados a:<\/p>\n\n\n\n

Algoritmos:<\/strong> an\u00e1lise e projeto de algoritmos, t\u00e9cnicas de decomposi\u00e7\u00e3o e balanceamento, algoritmos exatos, algoritmos de aproxima\u00e7\u00e3o, algoritmos probabil\u00edsticos, algoritmos online, algoritmos parametrizados, algoritmos distribu\u00eddos e paralelos.<\/p>\n\n\n\n

Complexidade Computacional:<\/strong> an\u00e1lise de problemas e algoritmos, NP-completude, redu\u00e7\u00f5es polinomiais, prova de polinomialidade, classes de complexidade de tempo e espa\u00e7o, complexidade parametrizada, an\u00e1lise amortizada, inaproximabilidade, abordagens l\u00f3gicas \u00e0 complexidade computacional, aplica\u00e7\u00f5es.<\/p>\n\n\n\n

Computabilidade:<\/strong> modelos te\u00f3ricos de computa\u00e7\u00e3o, m\u00e9todos e linguagens formais, aut\u00f4matos, computabilidade de Turing e generaliza\u00e7\u00f5es, teoria da prova, teoria da recurs\u00e3o, redu\u00e7\u00f5es, decidibilidade, definabilidade, conjuntos enumer\u00e1veis, sistemas de provas interativas, matem\u00e1tica reversa, redes de Petri, aplica\u00e7\u00f5es.<\/p>\n\n\n\n

Otimiza\u00e7\u00e3o Combinat\u00f3ria:<\/strong> estruturas combinat\u00f3rias, combinat\u00f3ria poli\u00e9drica, m\u00e9todos exatos e aproximados, m\u00e9todos de busca global e de busca local, otimiza\u00e7\u00e3o multiobjetivo, otimiza\u00e7\u00e3o estoc\u00e1stica, otimiza\u00e7\u00e3o robusta, otimiza\u00e7\u00e3o em redes, pesquisa operacional, modelagem e aplica\u00e7\u00f5es.<\/p>\n\n\n\n

Programa\u00e7\u00e3o Matem\u00e1tica: <\/strong>formula\u00e7\u00f5es, programa\u00e7\u00e3o linear inteira e n\u00e3o-linear, programa\u00e7\u00e3o por restri\u00e7\u00f5es, m\u00e9todos enumerativos, planos de corte, branch-and-bound, branch-and-cut, branch-and-price, branch-cut-and-price, branch-and-prune, m\u00e9todos h\u00edbridos exato-heur\u00edstico, programa\u00e7\u00e3o din\u00e2mica, etc.<\/p>\n\n\n\n

Teoria dos Grafos e Combinat\u00f3ria: <\/strong>caracteriza\u00e7\u00e3o estrutural, classes de grafos, reconhecimento, estruturas proibidas, problemas cl\u00e1ssicos, desenho e layout de grafos, teoria espectral, grafos aleat\u00f3rios, complexidade, algoritmos, aplica\u00e7\u00f5es.<\/p>\n\n\n\n

Teoria da Informa\u00e7\u00e3o, N\u00fameros e Criptografia:<\/strong> fundamentos, teoria de c\u00f3digos, sistemas num\u00e9ricos, aritm\u00e9tica modular, congru\u00eancias, divisibilidade, codifica\u00e7\u00e3o de fonte, corretores de erro, compress\u00e3o, criptoan\u00e1lise, protocolos com seguran\u00e7a demonstr\u00e1vel, algoritmos, aplica\u00e7\u00f5es.<\/p>\n\n\n\n

Teoria dos Jogos e da Decis\u00e3o:<\/strong> fundamentos, estrat\u00e9gias competitivas, sistemas em equil\u00edbrio, equil\u00edbrio de Nash, domin\u00e2ncia, pre\u00e7o da anarquia e da estabilidade, leil\u00f5es e mecanismos, precifica\u00e7\u00e3o, jogos cooperativos, jogos combinat\u00f3rios, pesquisa operacional, algoritmos, aplica\u00e7\u00f5es.<\/p>\n\n\n\n

Geometria Computacional<\/strong>: espa\u00e7os m\u00e9tricos, geometria de dist\u00e2ncias, algoritmos geom\u00e9tricos, estruturas baseadas em propriedades geom\u00e9tricas, estruturas espaciais, aplica\u00e7\u00f5es.<\/p>\n\n\n\n

Aplica\u00e7\u00f5es em outras \u00e1reas de conhecimento e problemas pr\u00e1ticos: <\/strong>aloca\u00e7\u00e3o de recursos, apoio \u00e0 tomada de decis\u00e3o, biologia computacional, compiladores, economia, escalonamento, engenharias, estrutura molecular, pesquisa operacional, probabilidade e estat\u00edstica, processos produtivos, reconhecimento de padr\u00f5es, redes de computadores, redes complexas, redes livres de escala e redes web, rob\u00f3tica, roteamento, seguran\u00e7a de c\u00f3digo, sistemas e redes, sistemas paralelos e distribu\u00eddos, teoria de conjuntos, visualiza\u00e7\u00e3o de dados, aplica\u00e7\u00f5es com grandes massas de dados, aplica\u00e7\u00f5es din\u00e2micas, aplica\u00e7\u00f5es de tempo real.<\/p>\n\n\n\n

FORMATO DOS ARTIGOS<\/h4>\n\n\n\n

Os trabalhos devem ser submetidos na forma de resumos estendidos, formatados seguindo o estilo dos artigos da SBC (feito preferencialmente em LaTeX), dispon\u00edvel em http:\/\/tinyurl.com\/sbc-template-artigos<\/a>. Devem ter no m\u00e1ximo 04 (quatro) p\u00e1ginas incluindo refer\u00eancias, figuras e tabelas.<\/p>\n\n\n\n

O artigo poder\u00e1 ter opcionalmente um ap\u00eandice, fora do limite de 4 p\u00e1ginas, contendo material de apoio adicional (como provas, detalhes de implementa\u00e7\u00e3o ou experimentos computacionais), que n\u00e3o puderam ser inclu\u00eddos no artigo submetido. O ap\u00eandice poder\u00e1 ser usado para fins de avalia\u00e7\u00e3o do trabalho, mas n\u00e3o ser\u00e1 publicado, mesmo em caso de aceita\u00e7\u00e3o do artigo.<\/p>\n\n\n\n

A submiss\u00e3o dos artigos ser\u00e1 eletr\u00f4nica, em formato PDF, por meio do sistema JEMS.<\/p>\n\n\n\n

DATAS IMPORTANTES<\/h4>\n\n\n\n

– Data limite para submiss\u00e3o dos trabalhos: 16\/03\/2020<\/del> 31\/03\/2020<\/del> 30\/04\/2020<\/del> 07\/05\/2020<\/strong>
– Notifica\u00e7\u00e3o dos trabalhos aceitos: 30\/04\/2020<\/del> 10\/06\/2020<\/strong>
– Registro dos autores: 05\/05\/2020<\/del> 30\/06\/2020<\/strong>
– Data limite para envio das vers\u00f5es finais: 15\/05\/2020<\/del> 30\/06\/2020

<\/strong><\/p>\n\n\n\n

APRESENTA\u00c7\u00c3O DOS TRABALHOS<\/h4>\n\n\n\n

Os trabalhos ser\u00e3o selecionados para apresenta\u00e7\u00e3o oral de at\u00e9 15 minutos ou para exposi\u00e7\u00e3o em p\u00f4ster, a depender do volume de submiss\u00f5es e da qualidade das mesmas. O melhor trabalho apresentado ser\u00e1 objeto de premia\u00e7\u00e3o.<\/p>\n\n\n\n

Os artigos aceitos ser\u00e3o publicados nos anais do evento, que ser\u00e3o disponibilizados online na SBC OpenLib, o portal de conte\u00fado da SBC, na s\u00e9rie Anais do Encontro de Teoria da Computa\u00e7\u00e3o (ISSN 2595-6116). Todos os artigos ser\u00e3o indexados com DOI.<\/p>\n\n\n\n

Os organizadores se reservam o direito de n\u00e3o incluir nos anais aqueles trabalhos que, durante o evento, n\u00e3o forem apresentados por um de seus autores ou por algum representante indicado.<\/p>\n\n\n\n

Submiss\u00e3o de trabalhos<\/a><\/div>\n\n\n \n
Submiss\u00e3o de trabalhos<\/a><\/div><\/td>\n
Trabalhos aceitos<\/a><\/div><\/td>\n <\/tr>\n<\/table>\n\n\n\n

INFORMA\u00c7\u00d5ES ADICIONAIS<\/strong><\/p>\n\n\n\n

\u00a0<\/div>\n\n\n\n

INSCRI\u00c7\u00c3O NO EVENTO<\/h4>\n\n\n\n

A inscri\u00e7\u00e3o pagante de ao menos um autor do artigo \u00e9 obrigat\u00f3ria para inser\u00e7\u00e3o do artigo nos Anais de cada evento. Autores com mais de um artigo aprovado, em qualquer evento, podem realizar o pagamento de uma \u00fanica inscri\u00e7\u00e3o, acrescida de uma \u201ctaxa de publica\u00e7\u00e3o extra\u201d por artigo adicional.<\/p>\n\n\n\n

PALESTRANTES CONFIRMADOS<\/h4>\n\n\n\n
  • Cristina Gomes Fernandes (USP)<\/li>
  • Edson Norberto C\u00e1ceres (UFMS)<\/li>
  • Eduardo Uchoa Barboza (UFF)<\/li>
  • Luciana Salete Buriol (UFRGS)<\/li>
  • Rosiane de Freitas (UFAM)<\/li><\/ul>\n\n\n\n
     <\/div>\n\n\n\n

    ORGANIZADORES<\/strong><\/p>\n\n\n\n

    Coordena\u00e7\u00e3o geral<\/h4>\n\n\n\n
    • Cl\u00e1udia Linhares Sales (UFC)<\/li>
    • Fl\u00e1vio Keidi Miyazawa (UNICAMP)<\/li>
    • Manoel Bezerra Campelo Neto (UFC)<\/li>
    • Vinicius Fernandes dos Santos (UFMG)<\/li><\/ul>\n\n\n\n

      Coordena\u00e7\u00e3o local<\/h4>\n\n\n\n
      • Vanessa de Oliveira Campos – (UFMT)<\/li><\/ul>\n\n\n\n
        <\/div>\n\n\n\n

        STEERING COMMITTEE<\/strong><\/p>\n\n\n\n

        • Cl\u00e1udia Linhares Sales (UFC)<\/li>
        • Jayme Luiz Szwarcfiter (UFRJ)<\/li>
        • Rosiane de Freitas (UFAM)<\/li><\/ul>\n\n\n\n
          <\/div>\n\n\n\n

          COMIT\u00ca DE PROGRAMA<\/strong><\/p>\n\n\n\n

          \n
          \n
          • Andr\u00e9 Vignatti (UFPR)<\/li>
          • Breno Piva (UFS)<\/li>
          • C. N. Campos (UNICAMP)<\/li>
          • Carla Lintzmayer (UFABC)<\/li>
          • Carlos Hoppen (UFRGS)<\/li>
          • Carlos Eduardo Ferreira (USP)<\/li>
          • C\u00e2ndida Silva (UFSCar)<\/li>
          • Celina Figueiredo (UFRJ)<\/li>
          • Claudia Linhares Sales (UFC)<\/li>
          • Cristina Fernandes (USP)<\/li>
          • Edna Hoshino (UFMS)<\/li>
          • Edson C\u00e1ceres (UFMS)<\/li>
          • Eduardo Xavier (UNICAMP)<\/li>
          • Erika Coelho (UFG)<\/li><\/ul>\n<\/div>\n\n\n\n
            \n
            • Fabio Protti (UFF)<\/li>
            • Flavio Miyazawa (UNICAMP)<\/li>
            • Guilherme Oliveira Mota (USP)<\/li>
            • Haroldo Gambini Santos (UFOP)<\/li>
            • Jayme Szwarcfiter (UFRJ)<\/li>
            • Joao Marcos (UFRN)<\/li>
            • Luerbio Faria (UERJ)<\/li>
            • Manoel Bezerra Campelo Neto (UFC)<\/li>
            • M\u00e1rio Alvim (UFMG)<\/li>
            • M\u00e1rio Benevides (UFF)<\/li>
            • Rosiane de FreitasR (UFAM)<\/li>
            • U\u00e9verton Souza (UFF)<\/li>
            • Vinicius dos Santos (UFMG)<\/li><\/ul>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

              CHAMADA DE TRABALHOS INTRODU\u00c7\u00c3O O V Encontro de Teoria da Computa\u00e7\u00e3o (ETC 2020) \u00e9 um f\u00f3rum voltado para a grande \u00e1rea de Teoria da Computa\u00e7\u00e3o, sendo proposto por membros da Comiss\u00e3o Especial em Algoritmos, Combinat\u00f3ria e Otimiza\u00e7\u00e3o (CE-ACO), com objetivo de promover uma maior divulga\u00e7\u00e3o da \u00e1rea para a comunidade brasileira de computa\u00e7\u00e3o e afins,…<\/p>\n","protected":false},"author":4,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-649","post","type-post","status-publish","format-standard","hentry","category-evento-base"],"_links":{"self":[{"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=\/wp\/v2\/posts\/649","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=649"}],"version-history":[{"count":21,"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=\/wp\/v2\/posts\/649\/revisions"}],"predecessor-version":[{"id":3360,"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=\/wp\/v2\/posts\/649\/revisions\/3360"}],"wp:attachment":[{"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=649"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=649"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www4.sbc.org.br\/csbc2020\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=649"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}