Feeds RSS

Autores são convidados a submeter artigos originais, que tratem de trabalhos concluídos ou em andamento, relacionados com pesquisas envolvendo aspectos teóricos da computação. Os principais tópicos de interesse incluem (mas não se restringem a) pesquisas nas área de:

  • Algoritmos exatos e aproximativos
  • Análise estática
  • Análise de algoritmos
  • Autômatos temporais
  • Categorias
  • Conjuntos e Lógica Fuzzy
  • Complexidade de problemas
  • Domínios
  • Especificação formal
  • Fundamentos de Matemática Intervalar
  • Gramática de grafos
  • Instituições
  • Linguagens Formais e Autômatos
  • Lógica para computação
  • Matemática Discreta
  • Meta-heurísticas
  • Modelos probabilísticos
  • Modelos de computação
  • Otimização combinatória
  • Pensamento Computacional
  • Prova Interativa de Teoremas
  • Redes de Petri
  • Semântica de linguagens orientadas a agentes
  • Semântica formal
  • Sistemas de Conseqüência
  • Sistemas de tipos
  • Sistemas Dinâmicos a Eventos Discretos
  • Teoria da Informação
  • Verificação de modelos
  • Verificação de programas