18/11/2005
Depois de sete anos, o Simpósio Brasileiro de Métodos Formais (SBMF) volta a ser realizado em Porto Alegre nos dias 28, 29 e 30 de novembro, e traz ao Estado o pesquisador da NASA, Ewen Denney, que ministra a palestra “Abordagens Formais para Segurança de Software Espacial” e o curso “Fundamentos Lógicos para Geração de Código”. Aproximadamente 100 pessoas devem comparecer ao evento, promovido pela Sociedade Brasileira de Computação (SBC), que acontece no Instituto de Informática da UFRGS. Além do convidado internacional, o SBMF conta com as participações de pesquisadores, como Patrícia Machado, da Universidade Federal de Campina Grande (UFCG), falando sobre “Geração Automática de Testes” e Anamaria Moreira e David Deharbe, da Universidade Federal do Rio Grande do Norte (UFRN), que ministram a palestra “Método B para Geração de Código”. É cada vez maior a preocupação da indústria de software e da academia com a segurança em sistemas computacionais que podem colocar em risco a vida de pessoas e o patrimônio de empresas. Visando atenuar essa preocupação, o SBMF pretende proporcionar uma oportunidade para o encontro de pesquisadores e desenvolvedores de software discutirem avanços recentes e temas emergentes de pesquisa no desenvolvimento e na adoção dos chamados /métodos formais/, ou seja, métodos fundamentados na matemática e na lógica, no projeto e na verificação de sistemas computacionais. Confira a programação do evento em http://www.inf.ufrgs.br/~sbmf