The Brazilian Symposium on Formal Methods (SBMF 2009) is the annual meeting on formal methods organized under the scientific sponsorship of the Brazilian Computer Society (SBC), through the Special Committee of Formal Methods. SBMF 2009 is the twelfth 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 the last years the event has been held in Porto Alegre, Natal, Ouro Preto, and Salvador. In 2009, the SBMF will take place from August 19th to 21st in Gramado, Brazil, under the organization of the Institute of Informatics of the Federal University of Rio Grande do Sul.
The symposium will provide the delegates with a rich variety of activities, such as technical sessions, short courses, keynote speeches by distinguished Brazilian and international experts, panels, and workshops. This edition will take place jointly with the Brazilian Symposium on Programming Languages (SBLP 2009) and the Brazilian Workshop on Systematic and Automated Software Testing (SAST 2009).
Looking forward to meeting you soon in the beautiful city of Gramado! You are very welcome!
