SBMF 2024: Simpósio reúne especialistas em métodos formais e teoria da computação no Ifes

• Imprimir

Entre os dias três e cinco de dezembro aconteceu o Simpósio Brasileiro de Métodos Formais (SBMF 2024). O evento reuniu especialistas e pesquisadores da área de Teoria da Computação e Engenharia de Software para discutir os mais recentes avanços em métodos formais aplicados à verificação, validação e desenvolvimento de sistemas computacionais seguros e confiáveis.

Durante o SBMF 2024, os participantes puderam assistir a palestras, mesas-redondas e workshops, que abordaram tópicos como verificação de programas, sistemas formais e ferramentas automáticas para garantir a correção e segurança de sistemas computacionais críticos. Além disso, o evento contou com a apresentação de trabalhos científicos inovadores, que destacaram novas abordagens para a aplicação de métodos formais em áreas como a indústria de software, sistemas embarcados e até em aplicações de segurança crítica.

O SBMF é um evento tradicional e fundamental para a comunidade acadêmica e científica da área de teoria da computação, proporcionando um importante ponto de encontro para pesquisadores de todo o Brasil e do exterior. Este ano, o simpósio contou com a participação de renomados especialistas, que apresentaram suas pesquisas de ponta e discutiram o futuro dos métodos formais na computação.

Antes do SBMF, no dia 2 de dezembro, aconteceu o ETMF (Encontro de Teoria dos Métodos Formais), que ocorreu no IFES Campus Serra, com o objetivo de promover discussões mais intensas sobre os fundamentos teóricos da área, com foco em temas como verificação formal, prova de teoremas e técnicas de modelagem matemática de sistemas. Os minicursos foram divulgados no site do campus e ofertados gratuitamente para os alunos.

O evento também evidenciou o papel do PPComp na formação e desenvolvimento de novos talentos na área de Computação, ao mesmo tempo em que reforçou o compromisso do IFES com a promoção de eventos científicos de alto nível e a troca de conhecimento entre acadêmicos e profissionais.

Organizado pelo Programa de Pós-Graduação em Ciência da Computação do Ifes, o evento aconteceu na Cidade da Inovação, em Jardim da Penha, Vitória (ES), e contou com a coordenação do Prof. Jefferson Andrade, juntamente com a vice-coordenadora Profª Karin Komati, e os membros do comitê organizador Francisco Boldt, Thiago Meireles Paixão, Hilário Tomaz de Oliveira e Danilo de Paula e Silva.

Para mais informações sobre o evento, acesse o site oficial do SBMF 2024: https://sbmf24.ifes.edu.br/