SEFM: Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
SEFM 2016 14th International Conference on Software Engineering and Formal Methods
Jul 4, 2016 - Jul 8, 2016 Vienna, Austria Feb 29, 2016 (Feb 22, 2016)
SEFM 2015 International Conference on Software Engineering and Formal Methods SEFM 2015
Sep 7, 2015 - Sep 11, 2015 York, UK Mar 20, 2015 (Mar 13, 2015)
SEFM 2014 12th International Conference on Software Engineering and Formal Methods
Sep 1, 2014 - Sep 5, 2014 Grenoble, France Mar 21, 2014 (Mar 14, 2014)
SEFM 2013 International Conference on Software Engineering and Formal Methods
Sep 23, 2013 - Sep 27, 2013 Madrid, Spain Apr 1, 2013 (Mar 25, 2013)
SEFM 2012 10th International Conference on Software Engineering and Formal Methods
Oct 1, 2012 - Oct 5, 2012 Thessaloniki, Greece Apr 19, 2012 (Apr 4, 2012)
SEFM 2011 9th International Conference on Software Engineering and Formal Methods
Nov 14, 2011 - Nov 18, 2011 Montevideo, Uruguay Apr 30, 2011 (Apr 23, 2011)
SEFM 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Sep 13, 2010 - Sep 17, 2010 Pisa, Italy Mar 22, 2010
SEFM 2009 software engineering and formal methods
Nov 23, 2009 - Nov 27, 2009 Hanoi May 29, 2009 (May 15, 2009)
 
 

Present CFP : 2016


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

ICIEM 2016   International Conference on Integrated Environmental Management for Sustainable Development
NFM 2017   The 9th NASA Formal Methods Symposium
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
ISSPIT 2016   The 16th IEEE International Symposium on Signal Processing and Information Technology
FTSCS 2016   Fifth International Workshop on Formal Techniques for Safety-Critical Systems
FMBBS 2016   IEEE BIBM Workshop on Formal Methods for Biological and Biomedical Systems
TMPA 2017   4th International Conference on Tools and Methods for Program Analysis