O SBMF 2024 ocorreu de 4 a 6 de dezembro, em Vitória (ES)
Durante a primeira semana de dezembro de 2024, entre os dias quatro e seis, o professor Gustavo Carvalho, do Centro de Informática (CIn) da UFPE, participou do XXVII Simpósio Brasileiros de Métodos Formais (SBMF). O evento foi realizado na cidade de Vitória, capital do Espírito Santo. Na quinta-feira (5), o professor apresentou o trabalho “An integrated framework for analysing, simulating, and testing UML models“, desenvolvido em colaboração com José Dihego, do Instituto Federal de Educação, Ciência e Tecnologia da Bahia (IFBA), e Augusto Sampaio, também professor do CIn-UFPE. Ainda no mesmo dia, o professor Gustavo coordenou a sessão técnica sobre Verificação Formal e Técnicas de Provas em Algoritmos e Lógica.
No dia seguinte, foi a vez do aluno Juliandson Ferreira apresentar o trabalho “Trusted Deployer: A Tool for Verification, Safe Creation and Upgrades of Ethereum Smart Contracts“. Além do professor Augusto Sampaio e do pós-doutorando Filipe Arruda, ambos do CIn-UFPE, os pesquisadores de Oxford (UK) Pedro Antonino (The Blockhouse Technology Limited) e A. W. Roscoe (University College Oxford Blockchain Research Centre) também participaram do trabalho.
Em 2025, o SBMF será realizado em Recife. O professor Leopoldo Teixeira do CIn-UFPE será o coordenador brasileiro do Comitê de Programa. A organização geral fica com Lucas Lima, professor na Universidade Federal Rural de Pernambuco (UFRPE) e egresso do Programa de Pós-Graduação Acadêmico em Ciência da Computação do CIn.
Sobre o Simpósio Brasileiro de Métodos Formais – O SBMF é um fórum de discussão, apresentação e debate de resultados recentes de pesquisas relacionadas ao projeto, teste e verificação de sistemas computacionais sob uma perspectiva formal e matemática. O evento é estruturado em sessões técnicas, tutoriais e palestras convidadas de renomados especialistas nacionais e internacionais. O SBMF promove também uma aproximação entre a comunidade acadêmica e a indústria de software, através da apresentação e discussão de ferramentas computacionais construídas com base em métodos formais.
Comentários desativados