[ecoop-info] SEFM 2017 Final CFP (*DEADLINE EXTENSION*) - 15th International Conference on Software Engineering and Formal Methods

[Alberto Griggio]

**************************************************************************
                               SEFM'17
                         *DEADLINE EXTENSION*
  NEW DATES: Abstract submission: 6 April 2017
             Paper submission: 13 April 2017
**************************************************************************

(Apologies for multiple copies.)

http://sefm17.fbk.eu/

The 15th International Conference on Software Engineering and Formal
Methods, SEFM 2017, will be held in Trento, Italy, September 4-8, 2017.

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.

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.


Invited Speakers:
We are pleased to have three invited speakers for SEFM 2017:

- Marsha Chechik, University of Toronto, Canada

- Jeff Kramer, Imperial College London, UK

- Alberto Sangiovanni-Vincentelli, Berkeley University, USA


Important Dates (AOE, firm):
Abstract submission: *EXTENDED TO* 6 April 2017
Paper submission: *EXTENDED TO* 13 April 2017
Notification: 29 May 2017

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
conference proceedings will be published by Springer-Verlag in the
Formal Methods subline of the Lecture Notes in Computer Science series.

Information about all committees can be found at
http://sefm17.fbk.eu/committees

Co-Chairs:
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Marjan Sirjani, Malardalen University, Sweden