** NEW: ** Travel grants

Co-located Workshop: LSFA 2007 - August 28, 2007
Logical and Semantic Frameworks, with Applications

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).

Important Dates:

Extended Submission Deadline   25th May, 2007

Submission          15th May, 2007
Notification          14th July, 2007
Camera-ready     26th July, 2007

Organization Scientific Sponsorship Sponsors