Scope and Topics
The aim of SBMF is to provide a venue for the presentation and discussion of high-quality work in formal methods. The topics include, but are not limited to, the following:
- techniques and methodologies, such as method integration; software and hardware co-design; model-driven engineering; formal aspects of popular methodologies; formal design; development methodologies with formal foundations; software evolution based on formal methods;
- specification and modelling languages, such as well-founded specification and design languages; formal aspects of popular languages; logics and semantics for programming and specification languages; code generation; formal methods and models for objects, aspects, component-based, real-time, hybrid, critical, and service-oriented systems;
- theoretical foundations, such as domain theory; type systems and category theory; computational complexity of methods and models; computational models; term rewriting; models of concurrency, security and mobility;
- verification and validation, such as abstraction, modularisation and refinement techniques; program and test synthesis; correctness by construction; model checking; theorem proving; static analysis; formal techniques for software testing; software certification; formal techniques for software inspection;
- education, such as teaching of, for and with formal methods;
- applications, such as experience reports on the use of formal methods; industrial case studies; tool support.
PAPER SUBMISSION
Papers with a strong emphasis on Formal Methods, whether practical or theoretical, are invited for submission. They should present unpublished and original work that has a clear contribution to the state of the art on the theory and practice of formal methods. They should not be simultaneously submitted elsewhere.
IMPORTANT DATES
- Abstract Submission Deadline: 7th of July, 2017
- Paper Submission Deadline: 14th of July, 2017
- Paper Acceptance Notification: 1st of September, 2017
- Paper Camera-ready Version: 8th of September, 2017