Call for papers

SBMF 2008 is the eleventh of a series of events devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems. It is now a well-established event, with a very good national and international reputation. SBMF is the main event on formal methods in Brazil, qualified as one of the high quality national events (*Qualis A*) by Brazilian research agencies.

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. Also, a special issue of Science of Computer Programming (Elsevier) is going to be published for the very best papers (journal qualified as *Qualis International A* by Brazilian research agencies).

In 2008, the symposium will be held in Salvador, the largest city of Bahia and its capital. The event will be organized by the Distributed Systems Laboratory (LaSiD) / Department of Computer Science (DCC) at Federal University of Bahia (UFBA), Brazil.


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:

Formal Aspects of Languages and Theoretical Foundations:

Well-founded specification and design languages; Formal aspects of popular languages and methodologies; Logics and semantics of programming and specification languages; Reusable domain theories; Type systems and category theory in computer science; Computational complexity of methods and models; Calculation; Computational models; Rewriting systems.

Formal Aspects of Systems Development:

Formal methods integration; Formal methods for software/hardware development; Formal methods applied to model-driven engineering; Code generation; Formal design methods; Specification and modeling; Abstraction, modularization and refinement techniques; Program and test synthesis; Techniques for correctness by construction; Formal methods and models for objects, aspects and component systems; Formal methods and models for real-time, hybrid and critical systems; Formal methods and models for service-oriented systems; Models of concurrency, security and mobility.

Verification and Validation:

Model checking; Theorem proving; Static analysis; Formal techniques for software testing; Software certification; Formal techniques for software inspection.

Formal Methods in Practice:

Teaching of, for and with formal methods; Experience reports on the use of formal methods; Industrial case studies; Tools supporting the formal development of computational systems; Development methodologies with formal foundations; Software evolution based on formal methods.

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

Important dates

June 6, 2008: Paper submission deadline (Really Firm)

July 13, 2008: Acceptance notification

July 27, 2007: Camera-ready version due

Submission guidelines

Four types of submissions are expected:

I) Technical papers (Main Track): Unpublished and original work that have clear contributions to the state of the art on the theory and practice of formal methods. Papers must be no longer than 16 pages, including all figures, tables and references.

II) Student papers: Work in progress by postgraduate students in the area. The first author must be a student (the advisor or other student or non-student collaborators may be co-authors). If accepted for presentation, the paper shall be presented by a student. The goal of this track is to provide students with opportunities to discuss their work and research ideas with researchers and other students and to receive useful feedback. Papers must be no longer than 8 pages, including all figures, tables and references.

III) Challenge proposal papers: Proposals of unpublished and novel real case studies on systems development, verification, validation and evolution that can uniquely benefit from the use of formal methods. The paper should clearly describe the problem and application domain, propose and justify a solution in which formal methods can be effectively applied when compared to other approaches. The use and benefits of formal methods must be justified.
This track is connected to the Grand Challenge Initiative as a preparation for a grand challenge workshop that is planned for SBMF 2009. Papers must be no longer than 8 pages, including all figures, tables and references.

IV) Tool demonstration papers: Tools supporting the formal development of computational systems. Papers describing early implementations of novel concepts are especially welcomed. Papers must be no longer than 8 pages, including all figures, tables and references.

Papers should preferably be written in English, but papers in Portuguese are also acceptable. They must be written according to the style used for SBC proceedings. You may get templates and style information for LaTeX from SBC ( or from this link ( All submissions must be Adobe Portable Document Format (PDF). Submissions must be uploaded using the JEMS Systems ( The contact address for any inquiry is


All accepted technical papers will published in the main SBMF proceedings with ISBN. A selection of the accepted technical papers will also 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.

Student, Challenge proposal and Tool demonstration papers are going to be published in the SBMF Special Tracks CD proceedings with ISBN.

Journal Special Issue

Selected high-quality technical papers will be considered for publication in a Special Issue of Science of Computer Programming, Elsevier.

Only papers originally submitted in English are subject to this publication.


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.

  Home pageCommitteesInvited speakersCall for papersSatellite eventsProgram Registrations Grants    
SECTI SERPRO CAPES Fundação ADM AeS Instituto do Recôncavo FAPESB CNPq  
Contact About Salvador Photography by Valéria Simões