posted by user: jyotirmoy || 2748 views || tracked by 2 users: [display]

SBMF 2010 : BRAZILIAN SYMPOSIUM ON FORMAL METHODS

FacebookTwitterLinkedInGoogle


Conference Series : Brazilian Symposium on Formal Methods
 
 
When Nov 8, 2010 - Nov 12, 2010
Where Natal, Rio Grande do Norte, Brazil
Submission Deadline Jun 10, 2010
Notification Due Aug 7, 2010
Final Version Due Aug 21, 2010
 

Call For Papers

SBMF 2010 is the thirteenth 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 by Brazilian
research agencies. Besides technical sessions, the symposium presents
invited speakers from the international community. Publication of the
proceedings in LNCS series of Springer is under definition.

The symposium also includes a workshop on theses and dissertations
(WTD) in formal methods. The WTD is a student forum for bringing
together graduate students that research on topics related to formal
methods. The aim of this meeting is to present and discuss the proposed
contribution, preliminary results and possible directions for their
research.

In 2010, the SBMF will be held in the touristic town of Natal, in Rio
Grande do Norte, Brazil. The event will be organized by the Informatics
and Applied Mathematics Department of the Federal University of Rio
Grande do Norte (UFRN).

Topics of interest
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;
" Reusable domain theories;
" Type systems and category theory in computer science;
" Computational complexity of methods and models;
" Computational models;
" Rewriting systems;
" 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;
" Model checking;
" Theorem proving;
" Static analysis;
" Formal techniques for software testing;
" Software certification;
" Formal techniques for software inspection.
" 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.
Relevant Dates
10/06/2010: Paper submission deadline
07/08/2010: Acceptance notification
21/08/2010: Camera-ready version due
Instructions to prospective authors

The following types of submissions are expected:

Technical papers: Unpublished and original work that have clear
contributions to the state of the art on the theory and practice of
formal methods. Papers will be judged on the basis of originality,
relevance, technical soundness and presentation quality. Papers must be
written in English and not exceed 16 pages in the LNCS format (see
http://www.springer.com/lncs).

WTD papers: Master and PhD students are invited to submit papers that
give a report on the research they are developing. The papers must
correspond to individual work but may be co-authored by the advisor.
Papers must be no longer than 8 pages, including all figures, tables
and references.

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. Papers
can be submitted via the following link:
http://www.easychair.org/conferences/?conf=sbmf2010

Related Resources

FM 2024   Formal Methods
ICFEM 2024   International Conference on Formal Engineering Methods
FMICS 2024   29th International Conference on Formal Methods for Industrial Critical Systems
AFMAS 2024   Science of Computer Programming special issue on Advances in Formal Methods for Autonomous Systems
LANMR 2024   The 16th Latin American Workshop on New Methods of Reasoning Logic, Languages, Algorithms, New Methods of Reasoning
7FMA 2024   7th International Symposium Formal Methods in Architecture
TAP 2024   18th International Conference on Tests and Proofs
SOEN 2024   9th International Conference on Software Engineering
CONISOFT 2024   12th International Conference on Software Engineering Research and Innovation
SIMULTECH 2024   14th International Conference on Simulation and Modeling Methodologies, Technologies and Applications