Brazilian Symposium on Formal Methods

21st SBMF 2018: Salvador, Brazil

20th SBMF 2017: Recife, Brazil

19th SBMF 2016: Natal, Brazil

18th SBMF 2015: Belo Horizonte, MG, Brazil

17th SBMF 2014: Maceió, AL, Brazil

16th SBMF 2013: Brasilia, Brazil

15th SBMF 2012: Natal, Brazil

14th SBMF 2011: São Paulo, Brazil

13th SBMF 2010: Natal, Brazil

12th SBMF 2009: Gramado, Brazil

maintained by Schloss Dagstuhl LZI, founded at University of Trier