Scope: 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:

• Theoretical foundations and applications: specification and modelling, refinement, static analysis, model-checking, rewriting systems, verification, calculation, reusable domain theories, concurrency, security and mobility.

• Formal aspects of software/hardware development: development process, design methods, methods integration, testing, component-based systems, object and multi-agent systems, aspect-oriented development, service-oriented and web-based computing, re-engineering and reuse.

• Formal aspects of languages: logics and semantics of programming and specification languages, type systems, program synthesis, software architectures and their description languages.

• Tools: tool support and software engineering, environments for formal methods.

• Formal methods in practice: experience with introducing formal methods in industry, case studies.


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, tables and references, in the style used for SBC proceedings. You may get templates and style information for LaTeX from SBC or from here. All submissions must be Adobe Portable Document Format (PDF). Submissions must be uploaded using the JEMS system. The contact address for any inquiry is sbmf2007@gmail.com.

Publication: All accepted papers will published in the SBMF proceedings with ISBN. A selection of accepted papers will be published in the ENTCS - Electronic Notes in Theoretical Computer Science series from Elsevier. Only papers originally submitted in English are subject to ENTCS publication.

Presentation: Every accepted paper MUST have at least one author registered to the symposium by the time the camera-ready paper is submitted; the author is also expected to attend the symposium and present the paper. Papers originally submitted in English MUST be presented in English.

• Welcome
• Committees
• Invited Speakers
• Call for Papers
• Submissions
• Program
• Registration
• Conference venue
• Travel Information
• Travel Grants
• About Ouro Preto
• Contact