---------- Forwarded message ---------- 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) http://sbmf2017.cin.ufpe.br/ 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) -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiG_z1JELxfn7xBqbM_0sK75XeZNA60QGTU2WTOsCcCJw%40mail.gmail.com.
