O Simpósio Brasileiro de Métodos Formais (SBMF) teve os prazos de submissão de trabalhos prorrogados. Os resumos podem ser enviados até segunda-feira (24), e os artigos, até o dia 2 de agosto. O evento, que está sendo realizado pelo Centro de Informática (CIn) da UFPE, chega à sua 20ª edição neste ano, reunindo pesquisadores, estudantes e profissionais interessados pela área de métodos formais. O simpósio é estruturado em sessões técnicas, tutoriais e palestras convidadas de renomados especialistas nacionais e internacionais.

É possível enviar artigos originais e não publicados nas áreas de técnicas e metodologias formais, especificações formais e linguagens de modelagem, fundamentos teóricos, verificação e validação, educação para e com métodos formais e aplicação dos métodos formais. Os artigos devem ser escritos em inglês e enviados através do sistema EasyChair no link. As submissões serão julgadas por pelo menos três revisores.

O SBMF é um evento promovido pela Sociedade Brasileira de Computação (SBC) e é o principal fórum no Brasil para a discussão, apresentação e debate de resultados recentes de trabalhos relacionados ao projeto, teste e verificação de sistemas computacionais sob uma perspectiva formal e matemática. Em 2017, a comemorativa 20ª edição do SBMF tem como organizador geral o professor Gustavo Carvalho (CIn-UFPE) e tem o apoio do professor Sidney Nogueira (UFRPE). Já os professores Simone Cavalheiro (UFPel) e José Fiadeiro (Royal Holloway University of London, UK) coordenam o comitê de programa.

Mais informações sobre a submissão de trabalhos no SBMF estão disponíveis no link 

EVENTO SATÉLITE – O simpósio vai contar também com a realização da II Escola de Informática Teórica e Métodos Formais (ETMF), um evento satélite do SBMF. O professor Leopoldo Teixeira, do CIn, e o professor Tiago Massoni, da UFCG, são os organizadores do evento, cujos principais objetivos são qualificar a formação de estudantes e profissionais nas áreas que compõem a informática teórica e prover um fórum para apresentação dos trabalhos em andamento nessas áreas, recebendo retorno de outros pesquisadores. O prazo para submissão de artigos para o ETMF é 23 de Setembro. Mais informações sobre o evento podem ser encontradas no site do evento.