Noto a prorrogação do deadline para submissão de trabalhos para 09/10. JM
------------------------ CHAMADA DE TRABALHOS Escola de Informática Teórica e Métodos Formais (ETMF 2016) Natal, RN, Brasil 22 e 23 de Novembro de 2016 Evento Satélite do Simpósio Brasileiro de Métodos Formais (SBMF) http://etmf2016.imd.ufrn.br/ DATAS IMPORTANTES Deadline para submissão de artigos: 09/10/2016 (prorrogado) Divulgação dos artigos selecionados: 04/11/2016 Submissão da versão final: 11/11/2016 INTRODUÇÃO A Escola de Informática Teórica e Métodos Formais (ETMF 2016) é uma promoção conjunta da Universidade Federal de Pelotas (UFPel) e Universidade Federal do Rio Grande do Norte (UFRN). 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 regular onde possam ser apresentados os trabalhos em andamento nessas áreas; 3) discutir metodologias de ensino de informática teórica. TÓPICOS DE INTERESSE 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 áreas de: Álgebra aplicada à computação Algoritmos exatos e aproximativos Análise de programas Análise e projeto de algoritmos Análise estática 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 Interativa de Teoremas Semântica de linguagens orientadas a agentes 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 8 e 10 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=etmf2016 COMITÊS Coordenação Geral: Simone Cavalheiro (UFPel) Organização Local: Martin Musicante (UFRN) - 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) Cláudia Nalon (UnB) Giovanny Fernando Lucero Palma (UFS) Jayme Szwarcfiter (UFRJ) Joao Marcos (UFRN) Juliana Kaizer Vizzotto (UFSM) Juliano Manabu Iyoda (UFPE) Leila Maciel de Almeida e Silva (UFS) Leila Ribeiro (UFRGS) 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) Simone André da Costa Cavalheiro (UFPel) Tiago Lima 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. 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_Ljf4GkK%2BWAVk6KvSXmYkddsezw0zdpGmN%2BhHg56b3BYKQ%40mail.gmail.com.
