Tópicos

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
  • Conjuntos e Lógica Fuzzy
  • Complexidade de problemas
  • Domínios
  • Especificação formal
  • Gramática de grafos
  • Instituições
  • Linguagens Formais e Autômatos
  • Lógica para computação
  • Fundamentos de Matemática Intervalar
  • Matemática Discreta
  • Meta-heurísticas
  • Modelos probabilísticos
  • Modelos de computação
  • Otimização combinatória
  • 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
  • Teoria das Categorias
  • Verificação de modelos
  • Verificação de programas