Fwd: II ETC -- CSBC 2017 --- Chamada para Submissão de Trabalhos - NOVO DEADLINE

44 views
Skip to first unread message

Mario Benevides

unread,
Mar 6, 2017, 12:56:36 PM3/6/17
to logica-l

---------- Mensagem encaminhada ----------
De: Cláudia Sales <linh...@lia.ufc.br>
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 <ros...@icomp.ufam.edu.br>, Ana <a...@lia.ufc.br>, Edson Norberto Cáceres <ed...@facom.ufms.br>, Erika Coelho <erika...@inf.ufg.br>, Calebe de Paula Bianchini <prof.caleb...@gmail.com>, "Carlos E. Ferreira" <c...@ime.usp.br>, cristinag fernandes <cristinag...@gmail.com>, Fabio Protti <fa...@ic.uff.br>, Flavio Miyazawa <f...@ic.unicamp.br>, Luerbio Faria <lue...@ime.uerj.br>, mcampelo <mcam...@lia.ufc.br>, Jayme Luiz Szwarcfiter <ja...@nce.ufrj.br>, Luiz Satoru Ochi <sat...@ic.uff.br>, "la...@inf.ufrgs.br" <la...@inf.ufrgs.br>, Luciana Salete Buriol <bur...@inf.ufrgs.br>, viniciu...@dcc.ufmg.br, mario <ma...@cos.ufrj.br>, Claudson Bornstein <cborn...@gmail.com>, Celina Figueiredo <cel...@cos.ufrj.br>, "Pedro P.B. de Oliveira" <ped...@mackenzie.br>, ceaco-l <cea...@sbc.org.br>, NAPOLEAO NEPOMUCENO <napol...@unifor.br>, Leonardo Sampaio Rocha <lsampa...@gmail.com>, boe...@inf.ufes.br, anam...@dcc.ufrj.br, Carlos Hoppen <cho...@ufrgs.br>, car...@dep.ufmg.br, Ricardo Cordeiro Correa <cor...@ufrrj.br>, par...@ufc.br, sb...@sbc.org.br




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ÇÃO
3-6 de julho de 2017
Sã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çãomelhor 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
Reply all
Reply to author
Forward
0 new messages