O SBMF, em 2014, encontra-se em sua 17a 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.

SBMF - EDIÇÕES ANTERIORES

XVI SBMF	Brasília - DF	2013
XV SBMF	Natal - RN	2012
XIV SBMF	São Paulo - SP	2011
XIII SBMF	Natal - RN	2010
XII SBMF	Gramado - RS	2009
XI SBMF	Salvador - BA	2008
X SBMF	Ouro Preto - MG	2007
IX SBMF	Natal - RN	2006
VIII SBMF	Porto Alegre - RS	2005
VII SBMF	Recife - PE	2004
VI SBMF	Campina Grande - PB	2003
V SBMF	Gramado - RS	2002
IV SBMF	Rio de Janeiro - RJ	2001
III SBMF	João Pessoa - PB	2000
II SBMF	Florianópolis - SC	1999
I SBMF	Porto Alegre - RS	1998