** NEW: ** Travel grants
Co-located Workshop:
LSFA 2007 - August 28, 2007
Logical and Semantic Frameworks, with Applications
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:
Notification 14th July, 2007
Camera-ready 26th July, 2007
Extended Submission Deadline 25th May, 2007
Submission 15th May, 2007Notification 14th July, 2007
Camera-ready 26th July, 2007
| Organization | Scientific Sponsorship | Sponsors |
  |
    |
 
|