History
In 2017, SBMF celebrates the 20th 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 (WMF) in 1998 and became the Brazilian Symposium on Formal Methods (SBMF) in 2004.
All editions
| Edition | City | Year | Proceedings | Special Edition |
|---|---|---|---|---|
| XX SBMF | Recife - PE | 2017 | ||
| XIX SBMF | Natal - RN | 2016 | LNCS 10090 | |
| XVIII SBMF | Belo Horizonte - MG | 2015 | LNCS 9526 | |
| XVII SBMF | Maceió - AL | 2014 | LNCS 8941 | |
| XVI SBMF | Brasília - DF | 2013 | LNCS 8195 | SCP - Volumes 107 and 108 |
| XV SBMF | Natal - RN | 2012 | LNCS 7498 | SCP - Volumes 107 and 108 |
| XIV SBMF | São Paulo - SP | 2011 | LNCS 7021 | SCP - Volume 92, Part B |
| XIII SBMF | Natal - RN | 2010 | LNCS 6527 | |
| XII SBMF | Gramado - RS | 2009 | LNCS 5902 | |
| XI SBMF | Salvador - BA | 2008 | SCP - Volume 77 Issue 4 | |
| X SBMF | Ouro Preto - MG | 2007 | ENTCS Vol 240 | |
| IX SBMF | Natal - RN | 2006 | ENTCS Vol 195 | |
| VIII SBMF | Porto Alegre - RS | 2005 | ENTCS Vol 184 | |
| VII SBMF | Recife - PE | 2004 | ENTCS Vol 130 | |
| VI WMF | Campina Grande - PB | 2003 | ENTCS Vol 95 | |
| V WMF | Gramado - RS | 2002 | Repository | |
| IV WMF | Rio de Janeiro - RJ | 2001 | ||
| III WMF | João Pessoa - PB | 2000 | ||
| II WMF | Florianópolis - SC | 1999 | ||
| I WMF | Porto Alegre - RS | 1998 |