posted by user: ndisp || 2007 views || tracked by 38 users: [display]

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


Conference Series : Software Engineering and Formal Methods
When Jul 4, 2016 - Jul 8, 2016
Where Vienna, Austria
Abstract Registration Due Feb 22, 2016
Submission Deadline Feb 29, 2016
Notification Due Apr 13, 2016
Final Version Due Apr 22, 2016
Categories    software engineering   formal methods   verification   testing

Call For Papers

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
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 2016
Paper submission 29 February 2016
Notification 13 April 2016
Camera ready 22 April 2016


Submissions will be peer reviewed by at least three members of the program committee. They will be evaluated on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference.

Papers should conform to the Springer LNCS style specified at

and should describe, in English, original work that has not been published or submitted for publication elsewhere. PDF versions of papers should be submitted electronically via EasyChair at

We solicit two categories of papers:

Research papers should describe fully developed work and should not exceed 15 pages. Authors of papers reporting experimental work are strongly encouraged to make their experimental results available to reviewers. Case study papers should describe significant case studies and lessons learned. In case of tool papers, please include the URL of the tool (if available).
New ideas/Work-in-Progress papers should describe new approaches, techniques and/or tools that are not fully validated yet. Papers in this category should not exceed 6 pages.

For all types of paper, two additional pages of appendices are allowed that will not be included in the proceedings.

The conference proceedings will be published by Springer Verlag in the Lecture Notes in Computer Science series. Thanks to a grant by Springer a monetary prize will accompany the best paper award certificate.

A special issue of the Elsevier Journal on Logical and Algebraic Methods in Computer Science with a selection of the accepted papers is planned.

Related Resources

NFM 2017   The 9th NASA Formal Methods Symposium
ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
FSEN 2017   Fundamentals of Software Engineering
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
ICCRD 2017   The 9th International Conference on Computer Research and Development (ICCRD 2017)-SCOPUS
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
8th ICISA 2017   ICISA International Conference on Information Sience and Applications