Do not miss the Social Activities link!

Call for papers

Download Call for Papers

SBMF 2006 is the ninth 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 reputation among academics and research agencies in Brazil.

Besides technical sessions, tutorials and mini-courses, the symposium presents invited speakers from the international community. A selection of accepted papers is published in the Electronic Notes in Theoretical Computer Science (ENTCS) series from Elsevier.

In 2006, the symposium will be held in Natal, capital of Rio Grande do Norte, jointly with the International Conference on Graph Transformations as well as its satellite events:


The aim of this event is to provide an opportunity for researchers with a broad range of interests in formal methods to discuss recent developments in this field. The topics include, but are not limited to, the following:

In 2006, we will have a special session on applications and tools for formal methods. The topics for this session are:

Papers with a strong emphasis on Formal Methods, whether practical or theoretical, are invited for submission.

Submission guidelines

Papers should preferably be written in English, but papers in Portuguese are also acceptable. They must be no longer than 16 pages, including all figures and references, in the style used for SBC proceedings. You may get templates and style information for LaTeX from SBC. For your convenience, we also have local copies of the instructions and templates for LaTeX, for Word, and generic instructions in PDF (please click on the corresponding link to download).

All submissions must be either in ghostview-readable PostScript or Adobe Portable Document Format (PDF) formats. Submissions must be uploaded using the JEMS system. The contact address for any inquiry is

A selection of accepted papers will be published in the Electronic Notes in Theoretical Computer Science (ENTCS) series from Elsevier. Only papers originally submitted in English are subject to ENTCS publication.

Important dates

Submission of complete paper:
June 18, 2006 June 14, 2006 June 7, 2006
Notification of acceptance:
July 28, 2006
Final version due:
August 11, 2006
Main conference:
September 18-20, 2006
Conference including colocated event ICGT and satellite events:
September 17-22, 2006