ETMF2017: 2nd Brazilian School on Formal Methods and Computational Theory Federal University of Pernambuco Recife, Brazil, November 28-29, 2017 |
Conference website | http://sbmf2017.cin.ufpe.br/etmf.html |
Submission link | https://easychair.org/conferences/?conf=etmf2017 |
Submission deadline | September 14, 2017 |
CHAMADA DE TRABALHOS
Escola de Informática Teórica e Métodos Formais (ETMF 2017)
Recife, PE, Brasil
27 e 28 de Novembro de 2017.
Evento Satélite do Simpósio Brasileiro de Métodos Formais (SBMF)
DATAS IMPORTANTES
- Deadline para submissão de artigos: 06/10/2017
- Divulgação dos artigos selecionados: 27/10/2017
- Submissão da versão final: 10/11/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 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)