resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



SBMF 2020 : 23rd Brazilian Symposium on Formal Methods

Ouro Preto / Brazil
Event Date: Nov 25, 2020 - Nov 27, 2020
Abstract Submission Deadline: Jul 10, 2020
Submission Deadline: Jul 17, 2020
Notification of Acceptance: Aug 31, 2020
Camera Ready Version Due : Sep 11, 2020

About

The 23rd SBMF is the 2020 edition 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.

Call For Paper

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

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER FORMAL METHODS EVENTS

ICAASE 2020 : The 4th International Conference on Advanced Aspects of Software Engineering
Constantine, Algeria
Nov 28, 2020
ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing
Macao
Dec 02, 2020
iFM 2020 : 16th International Conference on integrated Formal Methods
Lugano, Switzerland
Nov 16, 2020
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification
Moscow, Russia
Nov 03, 2020
FAACS 2020 : 4th International Workshop on Formal Approaches for Advanced Computing Systems
L'Aquila, Italy
Sep 14, 2020

OTHER COMPUTER SCIENCE EVENTS

ICSIM 2021 : 4th International Conference on Software Engineering and Information Management
Yokohama, Japan
Jan 16, 2021
ICBDSC 2021 : 4th International Conference on Big Data and Smart Computing
Yokohama, Japan
Jan 16, 2021
COMPSE 2020 : 4th EAI International Conference on Computer Science and Engineering in Health Services
N/A, Cyberspace
Nov 26, 2020
EMSA 2020 : 9th International Conference on Embedded Systems and Applications
London, United Kingdom
Jul 25, 2020
ICSCA 2021 : 10th International Conference on Software and Computer Applications
Kuala Lumpur, Malaysia
Feb 23, 2021

OTHER SOFTWARE TESTING EVENTS

UYMS 2020 : 14. Turkish National Software Engineering Symposium
Istanbul, Turkey
Oct 07, 2020
ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing
Macao
Dec 02, 2020
SEA 2020 : 9th International Conference on Software Engineering and Applications
London, United Kingdom
Jul 25, 2020
SOFT 2020 : 6th International Conference on Software Engineering
Toronto, Canada
Jul 11, 2020
ICSEA 2020 : The Fifteenth International Conference on Software Engineering Advances
Porto, Portugal
Oct 18, 2020