Tópicos de Interesse

Autores são convidados a submeter artigos que descrevem trabalhos 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 áreas de:

  • Álgebra aplicada à computação
  • Algoritmos exatos e aproximativos
  • Análise de programas
  • Análise e projeto de algoritmos
  • Complexidade de problemas
  • Computabilidade
  • Domínios
  • Ensino de informática teórica
  • Especificação formal
  • Fundamentos de matemática intervalar
  • Instituições
  • Linguagens formais e autômatos
  • Lógica
  • Lógica computacional
  • Matemática discreta
  • Meta-heurísticas
  • Modelos de computação
  • Modelos probabilísticos
  • Otimização combinatória
  • Pensamento computacional
  • Prova de teoremas
  • Semântica formal
  • Sistemas de consequência
  • Sistemas de tipos
  • Sistemas dinâmicos a eventos discretos
  • Sistemas fuzzy
  • Teoria da informação
  • Teoria das categorias
  • Teoria dos grafos
  • Topologia aplicada à computação
  • Verificação de modelos
  • Verificação de programas

Datas Importantes

  • Deadline para submissão de artigos: 23/09/2017
  • Divulgação dos artigos selecionados: 21/10/2017
  • Submissão da versão final: 28/10/2017

Submissões

Os artigos podem ser escritos em Português ou em Inglês e devem ter entre 4 e 6 páginas. Os artigos devem ser submetidos em formato PDF, utilizando o estilo do LNCS (Lecture Notes in Computer Science).

Artigos podem ser submetidos através do seguinte link: https://easychair.org/conferences/?conf=etmf2017.

Comitê de Programa

Coordenação Geral: Tiago Massoni (UFCG) e Leopoldo Teixeira (UFPE).

Comitê de Programa:

  • Aline Maria Santos Andrade (UFBA)
  • Ana Cristina Vieira de Melo (USP)
  • Anamaria Martins Moreira (UFRJ)
  • Arnaldo Vieira Moura (UNICAMP)
  • Benjamín René Callejas Bedregal (UFRN)
  • Breno Piva Ribeiro (UFS)
  • Carlos Alberto Olarte Vega (UFRN)
  • Christiano de Oliveira Braga (UFF)
  • Giovanny Fernando Lucero Palma (UFS)
  • Gustavo Carvalho (UFPE)
  • Jayme Szwarcfiter (UFRJ)
  • Joao Marcos (UFRN)
  • Juliana Kaizer Vizzotto (UFSM)
  • Juliano Manabu Iyoda (UFPE)
  • Leila Maciel de Almeida e Silva (UFS)
  • Leila Ribeiro (UFRGS)
  • Leopoldo Teixeira (UFPE)
  • Luciana Foss (UFPel)
  • Lucio Mauro Duarte (UFRGS)
  • Marcel Vinicius Medeiros Oliveira (UFRN)
  • Marcelo de Almeida Maia (UFU)
  • Márcio Lopes Cornélio (UFPE)
  • Martin Alejandro Musicante (UFRN)
  • Patricia Duarte de Lima Machado (UFCG)
  • Regivan Hugo Nunes Santiago (UFRN)
  • Renata Hax Sander Reiser (UFPel)
  • Rohit Gheyi (UFCG)
  • Rosiane de Freitas Rodrigues (UFAM)
  • Sérgio Queiroz de Medeiros (UFRN)
  • Sidney Nogueira (UFRPE)
  • Tiago Massoni (UFCG)
  • Umberto Souza da Costa (UFRN)

Realização