posted by user: ndisp || 4374 views || tracked by 38 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

FM 2018   22nd International Symposium on Formal Methods
IJE 2017   International Journal of Education (IJE)
ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering
SIPRO 2018   4th International Conference on Signal and Image Processing
LICS 2018   Logic in Computer Science
ACM - ICMLSC - Ei 2018   ACM--2018 the 2nd International Conference on Machine Learning and Soft Computing (ICMLSC 2018)--Ei Compendex & Scopus
ESEC/FSE 2018   The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
AIAP 2018   5th International Conference on Artificial Intelligence and Applications
CONCUR 2018   29th International Conference on Concurrency Theory
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus