O Evento II Escola de Teoria da Computação – Nordeste (TeoCOMP-NE) será transmitido pela Universidade Federal do Ceará, Campus Quixadá e irá acontecer entre dias 22 a 24 de Junho.A Escola de Teoria da Computação – Nordeste surgiu do desejo de promover maior integração e fortalecimento da comunidade de Teoria da Computação da região nordeste e também proporcionar uma oportunidade para divulgação de resultados e encontro de pesquisadores da área. O evento é voltado para os alunos de graduação, pós-graduação, pesquisadores e profissionais das áreas da Teoria da Computação.
- Local do Evento
A escola será um evento virtual, trasmitido pelo Campus da Universidade Federal do Ceará (UFC) em Quixadá, Ceará. O Campus de Quixadá é um campus temático na área de Tecnologia da Informação, possuindo 6 cursos de graduação (Sistemas de Informação, Engenharia de Software, Redes de Computadores, Ciência da Computação, Engenharia da Computação e Design Digital) e um mestrado acadêmico em Ciência da Computação. O Campus de Quixadá possui mais de 1000 alunos matriculados e 60 professores.
- 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.
* 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.
- Datas Importantes
Submissão de resumos: 15 a 30 de abril de 2021.
Notificação de aceitação: 21 de maio de 2021
Evento: 22 a 24 de junho de 2020
- Instruções para Submissão
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 (disponível em http://tinyurl.com/sbc-template-artigos) e submetendo o pdf do artigo por meio do sistema EasyChair (https://easychair.org/conferences/?conf=teocomp2021). Os trabalhos devem conter resultados de pesquisas recentes ou pesquisas em andamento, já publicados ou não.
Pelo menos um autor de cada resumo aceito deve realizar inscrição no evento e apresentar o trabalho.
– Link do template: http://tinyurl.com/sbc-template-artigos
– Link para submissão: https://easychair.org/conferences/?conf=teocomp2021
Saiba mais através do site: https://teocompne.quixada.ufc.br/
Fonte: Prof. Ms. Tatiane Fernandes Figueiredo. Contato: tf2.fernandes@gmail.com