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
| ::News
A special issue of Science of Computer Programming for the best technical Due to some problems with the registration, the deadline for early 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. |
