Página Inicial

Comissão Especial de Métodos Formais

Sociedade Brasileira de Computação

 

 

A Comissão Especial de Métodos Formais da SBC (CEMF) tem como principal missão o desenvolvimento e a disseminação da área de métodos formais no Brasil. Criada em 2004, a comissão tem apoiado a realização de eventos na área tais como o Simpósio Brasileiro de Métodos Formais (SBMF), juntamente com seus eventos satélites, incluindo uma escola internacional na área de refinamentos.

 

O SBMF, em 2010, encontra-se em sua 14a edição, sendo um evento consolidado tanto na comunidade nacional quanto internacional. As seis primeiras edições foram realizadas como o Workshop de Métodos Formais (WMF) que foi promovido para simpósio em 2004.

 

Informações mais detalhadas sobre as atividades realizadas pela comissão, bem como sobre a área de métodos formais no Brasil e no mundo encontra-se disponíveis neste site.