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:
- Tutorial on Foundations and Applications of Graph Transformation;
- Workshop on Petri Nets and Graph Transformations;
- Workshop on Graph-Based Tools;
- Workshop on Graph Computation Models;
- Workshop on Software Evolution through Transformations.
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, the following:
- Well-founded specification and design languages
- Formal aspects of popular languages and methodologies
- Logics and semantics of programming and specification languages
- Formal design methods
- Modularization and refinement techniques
- Program synthesis
- Formal methods integration
- Model checking and theorem proving
- Static analysis
- Formal techniques in software testing
- Software certification
- Models of objects, aspects and component systems
- Models of concurrency, security and mobility
- Computation models
- Rewriting systems
- Type systems and category theory in computer science
- Teaching of, for and with formal methods
In 2006, we will have a special session on applications and tools for formal methods. The topics for this session are:
- Experience reports on the use of formal methods
- Industrial case studies
- Tools supporting the formal development of computational systems
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 sbmf2006@inf.ufrgs.br.
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, 2006June 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