Download PDF

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

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.

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