SEFM 2019 : Software Engineering and Formal Methods

  in Conferences   Posted on July 15, 2019

Conference Information

Submission Deadline Monday 20 May 2019 Proceedings indexed by :
Conference Dates Sep 16, 2019 - Sep 20, 2019
Conference Address Oslo, Norway
Conference & Submission Link https://sefm2019.inria.fr/
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Ranking & Metrics (This is a TOP Conference)

Guide2Research Overall Ranking: 357
Category Rankings
Software Engineering & Programming 110
Number of Editions: 17 ( since 2003 )
CORE 2018 Rating: B
DBPL Proceedings

Google Scholar H5-index:
14

Conference Call for Papers

SEFM aims to bring together leading researchers and practitioners from academia, industry, and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Topics of interest include, but are not limited to, the following aspects of software engineering and formal methods:

Software Development Methods
Formal modeling, specification, and design
Software evolution, maintenance, re-engineering, and reuse
Design Principles
Programming languages
Domain-specific languages
Type theory
Abstraction and refinement
Software Testing, Validation, and Verification
Model checking, theorem proving, and decision procedures
Testing and runtime verification
Statistical and probabilistic analysis
Synthesis
Performance estimation and analysis of other non-functional properties
Other light-weight and scalable formal methods
Security and Safety
Security, privacy, and trust
Safety-critical, fault-tolerant, and secure systems
Software certification
Applications and Technology Transfer
Service-oriented and cloud computing systems, Internet of Things
Component, object, multi-agent and self-adaptive systems
Real-time, hybrid, and cyber-physical systems
Intelligent systems and machine learning
HCI, interactive systems, and human error analysis
Education
Case studies, best practices, and experience reports

Other Conferences in Norway

EASE 2020 : International Conference on Evaluation and Assessment in Software Engineering

Deadline :
Sun 15 Dec 2019
Apr 15, 2020 - Apr 17, 2020 - Trondheim
Norway

ITiCSE 2020 : Joint Conference on Innovation and Technology in Computer Science Education

Deadline :
to be confirmed
Jun 17, 2020 - Jun 19, 2020 - Trondheim
Norway