|
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.
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:
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
(http://www.sbc.org.br) or from this link (http://www.dsc.ufcg.edu.br/~patricia/sbmf2008/). All submissions must be Adobe Portable Document Format (PDF). Submissions must be uploaded using the JEMS Systems (https://submissoes.sbc.org.br/sbmf2008). The contact address for any inquiry is sbmf2008@gmail.com.
Proceedings
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.
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. |
|
|