A Universidade Federal do Rio Grande do Norte (UFRN) é parceira da Universidade Federal de Pelotas (UFPel) na realização da Escola de Informática Teórica e Métodos Formais (ETMF 2016), que ocorrerá nos dias 22 e 23 de novembro, como evento satélite do Simpósio Brasileiro de Métodos Formais (SBMF). O evento, que se realiza no Instituto Metrópole Digital (IMD), tem o propósito de congregar estudantes e pesquisadores para divulgar e promover aspectos teóricos da computação e, particularmente, qualificar a formação de estudantes e profissionais nas áreas que compõem a informática teórica; prover um fórum regular que possibilite a apresentação de trabalhos em andamento nessas áreas; e discutir metodologias de ensino de informática teórica. Os participantes poderão submeter artigos originais de trabalhos concluídos ou em andamento, relacionados a pesquisas que envolvam aspectos teóricos da computação, em áreas como á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, entre outras. Os interessados têm até o dia 9 de outubro para a submissão dos artigos. No dia 4 de novembro será divulgada a lista dos selecionados e, no dia 11 do mesmo mês, deverá ser realizada a submissão da versão final dos artigos, que devem ser escritos em português ou inglês e ter entre 8 e 10 páginas. A submissão deve ser em formato PDF, utilizando o estilo do LNCS (Lecture Notes in Computer Science), através do link: https://easychair.org/conferences/?conf=etmf2016 Para obter informações mais detalhadas sobre o evento, acesse http://etmf2016.imd.ufrn.br/.