In 2014, SBMF celebrates the 17th edition of a well established meeting for both the Brazilian and the international researchers on Formal Methods. SBMF started as the Workshop on Formal Methods in 1998 and became the Brazilian Symposium on Formal Methods in 2004.

SBMF - ARCHIVES

16th SBMF	Brasília - DF	2013
15th SBMF	Natal - RN	2012
14th SBMF	São Paulo - SP	2011
13th SBMF	Natal - RN	2010
12th SBMF	Gramado - RS	2009
11th SBMF	Salvador - BA	2008
10th SBMF	Ouro Preto - MG	2007
9th SBMF	Natal - RN	2006
8th SBMF	Porto Alegre - RS	2005
7th SBMF	Recife - PE	2004
6th SBMF	Campina Grande - PB	2003
5th SBMF	Gramado - RS	2002
4th SBMF	Rio de Janeiro - RJ	2001
3rd SBMF	João Pessoa - PB	2000
2nd SBMF	Florianópolis - SC	1999
1st SBMF	Porto Alegre - RS	1998