TeoCOMP-NE
|
Início - Programação - Comitê - Localização - Chamada de Trabalhos - Resumos - Certificados |
|
Início - Programação - Comitê - Localização - Chamada de Trabalhos - Resumos - Certificados |
A primeira edição da Escola Regional de Teoria da Computação é um fórum voltado para a grande área de Teoria da Computação. O evento é voltado para os alunos em formação, em nível de pós-graduação e iniciação científica, mas também visa proporcionar uma maior integração entre os pesquisadores e profissionais que atuam principalmente na região nordeste, 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..
Submissões devem ser realizadas em https://easychair.org/conferences/?conf=teocompne2019 até o dia 15 de abril de 2019.
Inscrições devem ser realizadas em teocompne2019.github.io até o dia 30 de abril de 2019.
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, disponível em http://tinyurl.com/sbc-template-artigos, mas, submetendo o pdf do artigo por meio do sistema EasyChair https://easychair.org/conferences/?conf=teocompne2019 ). Os trabalhos a serem submetidos podem descrever pesquisas em andamento e/ou recentemente publicadas.
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.
Linguagens, autômatos e jogos: métodos algébricos e categoriais, teoria dos códigos, aplicação de autômatos e jogos a problemas teóricos em Computação, lógicas de gramáticas, gramáticas de grafos, semântica baseada em jogos e aplicações.
Linguagens de programação e semântica formal: linguagens de programação concorrentes e paralelas, sistemas de tipos, compiladores corretos, especificação algébrica e categorial.
Lógica: lógicas clássicas e não-clássicas, lógica universal, lógicas modais, teoria dos modelos finitos, semântica, especificação e verificação formal, sistemas de re-escrita e dedução, aplicações de lógica em computação.
Modelos de Computação: modelos teóricos de computação, teoria da recursão, hipercomputação, modelos de computação concorrente, paralela e distribuída, computabilidade, 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.
Geometria Computacional: espaços métricos, geometria de distâncias, algoritmos geométricos, estruturas baseadas em propriedades geométricas, estruturas espaciais, aplicações.
A escola será realizada nas dependências do Instituto de Matemática e Estatística da Universidade Federal da Bahia, Salvador, Bahia.
Dúvidas a respeito de submissões devem ser enviadas para januario@ufba.br