O Simpósio Brasileiro de Métodos Formais (SBMF 2009) é um encontro anual em métodos formais promovido pela Sociedade Brasileira de Computação (SBC), através do Comitê Especial de Métodos Formais. O SBMF 2009 é o décimo segundo de uma série de eventos devotados à disseminação do desenvolvimento e uso de métods formais para construção e verificação de sistemas computacionais. Ele já se configura como um evento tradicional, com ótima reputação internacional entre as agências de ensino e pesquisa. O objetivo deste evento é promover uma oportunidade para pesquisadores com interesses em métodos formais discutirem recentes avanços nesta área.
Nos últimos anos o evendo ocorreu em Porto Alegre, Natal, Ouro Preto e Salvador. Em 2009, o SBMF irá ocorrere de 19 a 21 de Agosto, em Gramado, Brasil, sob a organização do Instituto de Informática da Universidade Federal do Rio Grande do Sul.
O simpósio proporcionará uma rica variedade de atividades, tais como sessões técnicas, minicursos, palestras proferidas por especialistas brasileiros e estrangeiros, painéis e workshops. Esta edição ocorrerá em conjunto com o Simpósio Brasileiro de Linguagens de Programação (SBLP 2009) e o Workshop Brasileiro de Teste de Software Sistemático e Automatizado (SAST 2009).
Esperamos encontrá-lo(a) em breve na linda cidade de Gramado! Você é muito bem-vindo(a)!
