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:
http://www.sbmf2007.ufop.br
http://www.dimap.ufrn.br/sbmf2006/Pages/home.html