Escola de Informática Teórica e Métodos Formais (ETMF 2017)

Escola de Informática Teórica e Métodos Formais (ETMF 2017)

http://etmf2017.cin.ufpe.br/

Recife, PE, Brasil
27 e 28 de Novembro de 2017

 

Evento Satélite do Simpósio Brasileiro de Métodos Formais (SBMF)
http://sbmf2017.cin.ufpe.br/

 

CHAMADA DE TRABALHOS

 

DATAS IMPORTANTES

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

INTRODUÇÃO
A Segunda Escola de Informática Teórica e Métodos Formais (ETMF 2016) é uma promoção conjunta da Universidade Federal de Campina Grande (UFCG) e Universidade Federal de Pernambuco (UFPE). A escola é um evento satélite do Simpósio Brasileiro de Métodos formais e visa congregar estudantes e pesquisadores para divulgar e promover aspectos teóricos da computação, particularmente:
1) qualificar a formação de estudantes e profissionais nas áreas que compõem a informática teórica;
2) prover um fórum onde possam ser apresentados os trabalhos em andamento nessas áreas, recebendo retorno de outros pesquisadores;

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

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ÊS

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 Olarte (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)

Notícia cadastrada em: 19/07/2017 08:29
SIGAA | Superintendência de Informática - (84) 3215-3148 | Copyright © 2006-2017 - UFRN - sigaa13-producao.info.ufrn.br.sigaa13-producao