posted by user: ndisp || 2329 views || tracked by 39 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: http://staf2016.conf.tuwien.ac.at/sefm/
 
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
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 2016
Paper submission 29 February 2016
Notification 13 April 2016
Camera ready 22 April 2016




Submission

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

http://www.springer.de/comp/lncs/authors.html

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

https://easychair.org/conferences/?conf=sefm2016

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

ICFEM 2017   19th International Conference on Formal Engineering Methods
ASE 2017   The 32nd IEEE/ACM International Conference on Automated Software Engineering
CGDEIJ 2017   Computer Game Development and Education: An International Journal
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
ESEC/FSE 2017   11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
APSEC 2017   The Asia-Pacific Software Engineering Conference
SEKE 2017   The Twenty-Ninth International Conference on Software Engineering and Knowledge Engineering
SPLASH 2017   ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity
FMCAD 2017   Formal Methods in Computer-Aided Design
IMDA-CASE 2017   INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING