The Brazilian Symposium on Formal Methods (SBMF) is the official event of the Brazilian Computer Society (SBC) in the area of formal methods. The event is annual, joining up to more than 100 participants registered each year. Beyond technical sessions, tutorials and mini-courses, the symposium also presents invited speakers from the international community. A selection of the conference proceedings is published in the Electronic Notes in Theoretical Computer Science series from Elsevier. In 2006, the symposium will be held in Natal, the largest city of Rio Grande do Norte and its capital, jointly with the International Conference on Graph Transformations as well as its satellite events.
E-mail: sbmf2006 at dimap.ufrn.br