SEFM 2016: International Conference on Software Engineering and Formal Methods

The 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, will be held in Vienna, July 4-8, 2016. Event flyers are available in A4 and A3 format.

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

For details on how to submit a paper to SEFM 2016, see the submission page.

Important Dates

Abstract submission 22 February 201629 February 2016
Paper submission 29 February 20167 March 2016
Notification 13 April 2016
Camera ready 22 April 2016