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 anual, joining over than 100 participants registered each year. Beyond technical sessions and tutorials, the symposium also presents invited speakers from the international community.

On 2004, the symposium will be held in Recife, the largest city of Pernambuco and its capital, jointly with the Pernambuco Summer School (November 23rd to December 5th, 2004).







[ SBMF '2004 | Recife.PE ]