O Simpósio Brasileiro de Métodos Formais (SBMF) é um simpósio brasileiro da SBC voltado ao estudo da aplicação de métodos formais no desenvolvimento de sistemas de software.

 
Esse simpósio também já se consolidou no calendário científico nacional como um importante evento técnico-científico na área de software. Sua primeira edição ocorreu no ano de 1998, indo para sua 17ª edição no ano de 2014.
 
O SBMF é um evento devotado à disseminação do desenvolvimento e uso de métodos formais para a construção e a verificação de sistemas computacionais, objetivando promover oportunidades para pesquisadores com interesses em métodos formais discutirem recentes avanços na área.
 
O SBMF 2014 contará com as seguintes atividades específicas, além das atividades gerais do CBSoft:
  • Palestras
  • Sessões Técnicas

Versões estendidas de artigos selecionados serão publicadas como um volume LNCS após a conferência.
LNCS logo

 

CONTATOS

 
Perguntas específicas de cada evento, por favor contatar os respectivos coordenadores.
 
Hospedagem e Passagens:
O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo.
O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo.
 
Outras informações:
O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo.
 
Reportar bugs ou erros:
O endereço de e-mail address está sendo protegido de spambots. Você precisa ativar o JavaScript enabled para vê-lo.

Twitter

REALIZAÇÃO


PATROCINADORES DIAMANTE


Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Conselho Nacional de Desenvolvi-mento Científico e Tecnológico (CNPq)

 

PATROCINADOR OURO


INES logo

PATROCINADOR PRATA


 

APOIO


Springer logo

PROMOÇÃO


SBC logo

ORGANIZAÇÃO



AGÊNCIA OFICIAL