Welcome to the Brazilian Symposium on Formal Methods, the annual
meeting on formal methods organized under the scientific sponsorship of
the Brazilian Computer Society.
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 2007 edition, SBMF will be held in Ouro Preto - a UNESCO World Heritage landmark - and will be hosted by Departamento de Ciência da Computação - Universidade Federal de Ouro Preto (DECOM-UFOP) and Departamento de Matemática - Universidade Federal de Minas Gerais (DMAT-UFMG).
Extended Submission Deadline 25th May, 2007Submission 15th May, 2007