Selected papers from the Brazilian Symposium on Formal Methods

  in Special Issue   Posted on July 21, 2020

Information for the Special Issue

Submission Deadline: Thu 15 Apr 2021
Journal Impact Factor : 0.775
Journal Name : Science of Computer Programming
Journal Publisher:
Website for the Special Issue: https://www.journals.elsevier.com/science-of-computer-programming/call-for-papers/special-issue-vsi-sbmf-2020
Journal & Submission Website: https://www.journals.elsevier.com/science-of-computer-programming

Special Issue Call for Papers:

Science of Computer Programming – Special Issue (VSI: SBMF 2020)Selected papers from the Brazilian Symposium on Formal Methods

IMPORTANT DATES​

Paper submission deadline: 15th April 2021

Paper acceptance deadline: 31st December 2021


INTRODUCTION
SBMF 2020 is the twenty-third of a series of events devoted to the development, dissemination, and use of formal methods for the construction of high-quality computational systems. It is now a well-established event, with an international reputation. It regularly receives submissions and participants from all over the world.

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:

– Applications of formal methods to
* Software or/and hardware design
* Software or/and hardware development
* Software or/and hardware code generation
* Software or/and hardware testing
* Software maintenance, evolution or/and reuse
* Intelligent systems

– Specification and modelling languages
* Logic and semantics for specification or/and programming languages
* Formal methods for timed, real-time, hybrid, or/and safety-critical systems
* Formal methods for service-oriented, cloud-based, or/and cyber-physical systems

Theoretical foundations
* Domain theory
* Term rewriting
* Computational models
* Type systems and category systems
* Computation complexity of methods and models
* Models of time, concurrency, security or/and mobility

Verification and validation
* Abstraction, modularization or/and refinement techniques
* Static analysis
* Model checking
* Theorem proving
* Software certification
* Correctness by construction

Experience reports
* Reports on teaching formal methods
* Reports on industrial application of formal methods
 

SUBMISSION GUIDELINES
We invite submissions to a special issue of the Science of Computer Programming Journal (Elsevier) with selected papers from the 23rd Brazilian Symposium on Formal Methods (SBMF 2020). The journal submission should extend the regular paper accepted for presentation at SBMF 2020 in a significant way (at least 30% of novel material), hopefully incorporating feedback received from the reviewers and from the presentation at the conference.

Contributions should not be simultaneously submitted for publication elsewhere. They should be written in English and prepared following the guide for authors available at the journal website:

https://www.elsevier.com/journals/science-of-computer-programming/0167-6423/guide-for-authors

Papers will be judged by at least three reviewers on the basis of originality, relevance, technical soundness and presentation quality and should contain sound theoretical or practical results. Industry papers should emphasize practical application of formal methods or report on open challenges.

PUBLICATION
Accepted papers will be published in a special issue of the Science of Computer Programming Journal (Elsevier).

GUEST EDITORS
Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)
Volker Stolz (Western Norway University of Applied Sciences, Norway)

CONTACT
All questions about submissions should be sent to the guest editors: ghpc@cin.ufpe.br and vsto@hvl.no.

Other Special Issues on this journal

Closed Special Issues