TeoCOMP-2021: II Escola de Teoria da Computação – Nordeste Universidade Federal Do Ceará Quixadá, Brazil, June 22-24, 2021 |
Conference website | https://teocompne.quixada.ufc.br/ |
Submission link | https://easychair.org/conferences/?conf=teocomp2021 |
Submission deadline | May 10, 2021 |
A Escola de Teoria da Computação – Nordeste (TEOCOMP-NE) 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. A escola será um evento virtual, transmitido pelo Campus da Universidade Federal do Ceará (UFC) em Quixadá, Ceará.
Informaçõ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 e submetendo o pdf do artigo por meio do sistema EasyChair. 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.
### 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.
Comitês
Comitê de Programa
- Chair: Cláudia Linhares Sales (UFC,Ceará)
- Alexandre Matos Arruda (UFC, Ceará)
- Ana Shirley Ferreira da Silva (UFC, Ceará)
- Anna Karolina Maia (UFC, Ceará)
- Antônio Josefran de Oliveira Bastos (UFC, Ceará)
- Críston Pereira de Souza (UFC, Ceará)
- Davi Romero de Vasconcelos (UFC, Ceará)
- Fabrício Siqueira Benevides (UFC, Ceará)
- Francicleber Martins Ferreira (UFC, Ceará)
- Guilherme Oliveira Mota (USP, São Paulo)
- Júlio Cesar Silva Araújo (UFC, Ceará)
- Maria Viviane de Menezes (UFC, Ceará)
- Marlo Vieira dos Santos e Souza (UFBA, Bahia)
- Paulo de Tarso Guerra Oliveira (UFC, Ceará)
- Rafael Augusto de Melo (UFBA, Bahia)
- Rafael Santos Coelho (UNIPAMPA, Rio Grande do Sul)
- Renata Wassermann (USP, São Paulo)
- Roberto Freitas Parente (UFBA, Bahia)
- Sebastián Alberto Urrutia (UFMG, Minas Gerais)
- Taisa Lopes Martins (UFF, Rio de Janeiro)
- Tiago de Oliveira Januário (UFBA, Bahia)
- Vinícius Fernandes dos Santos (UFMG, Minas Gerais)
- Wladimir Araujo Tavares (UFC, Ceará)
Comitê de Organização
- Antônio Josefran de Oliveira Bastos (UFC, Ceará)
- Críston Pereira de Souza (UFC, Ceará)
- Davi Romero de Vasconcelos (UFC, Ceará)
- Maria Viviane de Menezes (UFC, Ceará)
- Marlo Vieira dos Santos e Souza (UFBA, Bahia)
- Paulo de Tarso Guerra Oliveira (UFC, Ceará)
- Rafael Augusto de Melo (UFBA, Bahia)
- Roberto Freitas Parente (UFBA, Bahia)
- Wladimir Araujo Tavares (UFC, Ceará)
Contato
Dúvidas sobre a submissão de artigos podem ser enviadas para o emaiil teocompne@quixada.ufc.br.