Science of Computer Programming – Special Issue (VSI: SBMF 2020)Selected papers from the Brazilian Symposium on Formal Methods
Paper submission deadline: 15th April 2021
Paper acceptance deadline: 31st December 2021
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
* 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
* Reports on teaching formal methods
* Reports on industrial application of formal methods
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:
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.
Accepted papers will be published in a special issue of the Science of Computer Programming Journal (Elsevier).
Gustavo Carvalho (Universidade Federal de Pernambuco, Brazil)
Volker Stolz (Western Norway University of Applied Sciences, Norway)
All questions about submissions should be sent to the guest editors: firstname.lastname@example.org and email@example.com.