Salvador - Bahia - Brazil
August, 26-29, 2008

Welcome to the Brazilian Symposium on Formal Methods (SBMF 2008), the annual meeting on formal methods organized under the scientific sponsorship of the Brazilian Computer Society.

SBMF 2008 is the eleventh of a series of events devoted to the dissemination of the development and use of formal methods for the design and verification of computational systems. It is now a well-established event, with a very good international reputation
among academics and research agencies.

The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods for developing computing systems and software to discuss recent developments in this field.

In its 2008 edition, SBMF will be held in Salvador, the largest city of Bahia and its capital. The event will be organized by Distributed Systems Laboratory (LaSiD) / Department of Computer Science (DCC) at Federal University of Bahia (UFBA), Brazil.

Some previous events:


A special issue of Science of Computer Programming for the best technical
papers is confirmed.

Due to some problems with the registration, the deadline for early
was extended to July 31st

If you are a student you can apply for Grants to attend SBMF

SBMF 2008 will host, as a satellite event, the first international workshop B Dissemination Day - BDD'08.

July 13, 2008: Acceptance notification.

July 27, 2007: Camera-ready version due

  Home pageCommitteesInvited speakersCall for papersSatellite eventsProgram Registrations Grants    
SECTI SERPRO CAPES Fundação ADM AeS Instituto do Recôncavo FAPESB CNPq