SEFM 2016 - 14th International Conference on Software Engineering and Formal Methods

SEFM 2016 is co-located with Software Technologies: Applications and Foundations, STAF 2016, and presents an interdisciplinary forum for the presentation of new advances and research results in the fields of Software Engineering and Formal Methods. The conference 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.
Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet.
The topics of interest for submission include, but are not limited to the following aspects of software engineering and formal methods:
New Frontiers in Software Architecture
Self-adaptive, service-oriented and cloud computing systems
Component, object and multi-agent systems
Real-time, hybrid and embedded systems
Reconfigurable systems
Software Verification and Testing
Model checking, theorem proving and decision procedures
Verification and validation
Probabilistic verification and synthesis
Testing, re-engineering and reuse
Software Development Methods
Requirement analysis, modeling, specification and design
Light-weight and scalable formal methods
Software evolution, maintenance and reuse
Application and Technology Transfer
Case studies, best practices and experience reports
Tool integration
Education
HCI, interactive systems and human error analysis
Security and Safety
Security and Mobility
Safety-critical, fault-tolerant and secure systems
Software certification
Design Principles
Programming languages
Domain specific languages
Type theory
Abstraction and refinement