posted by user: ndisp || 9828 views || tracked by 35 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 2024   International Conference on Formal Engineering Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
FM 2024   Formal Methods
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
ITNG 2024   The 21st Int'l Conf. on Information Technology: New Generations ITNG 2024
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ACIE 2024   CPS--2024 4th Asia Conference on Information Engineering (ACIE 2024)
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
ICSE 2025   The 47th International Conference on Software Engineering (Second Cycle)
WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)