[TYPES/announce] Call for Papers: SSV 2014

[Toby Murray]

========================================================================
                        SSV 2014 Call for Papers
                     http://www.ssv-conference.org/

                     8th International Workshop on
                     Systems Software Verification

                        Vienna, July 23-24, 2014
                      co-located with CAV and ITP,
              as part of the Vienna Summer of Logic 2014.
========================================================================

Important Dates
===============
Paper Submission: April 1, 2014
Notification: May 1, 2014
Conference: July 23-24, 2014

Topics
======
Industrial-strength software analysis and verification has advanced in
recent years through the introduction of model checking, automated and
interactive theorem proving, and static analysis techniques, as well as
correctness by design, correctness by contract, and model-driven
development. However, many techniques are working under restrictive
assumptions that are invalidated by complex embedded systems software
such as operating system kernels, low-level device drivers, or
microcontroller code.

The aim of this workshop is to bring together researchers and developers
from both academia and industry who are facing real software and real
problems with the goal of finding real, applicable solutions. By "real"
we mean problems such as time-to-market or reliability that the industry
is facing. A real solution is one that is applicable to the problem in
industry and not one that only applies to an abstract, academic, toy
version of it. In this workshop we will discuss software analysis and
development techniques and tools; this forum will serve as a platform to
discuss open problems and future challenges in dealing with existing and
upcoming systems-level code.

Topics include, but are not restricted to:
* Model checking
* Automated and interactive theorem proving
* Static analysis
* Automated testing
* Model-driven development
* Embedded systems development
* Programming languages
* Verifying compilers
* Software certification
* Software tools
* Experience reports

Submissions
===========
Submissions must be made electronically through the EasyChair system
[https://www.easychair.org/conferences/?conf=ssv2014] until April 1st,
2014. Papers should be up to 10 pages in pdf format and formatted in
EPTCS style [http://info.eptcs.org/]. Additional details may be included
in a clearly marked appendix, which will be read at the discretion of
the program committee. All will be subject to peer review under normal
conference standards. Experience reports and papers on work in progress
are welcome as long as there is a clear contribution. Submissions which
are based or discuss a non-trivial piece of software are required to
make all those non-standard software parts available, which a referee
may need, in order to check the claims of the submission.

Submitted papers must not have previously appeared in a journal or
conference with published proceedings and must not be concurrently
submitted to any other peer-reviewed workshop, symposium, conference or
archival journal. Any partial overlap with any such published or
concurrently submitted paper must be clearly indicated.

PC Chairs
=========
Kim G. Larsen, AAU, Aalborg, Denmark
Mads Chr. Olesen, AAU, Aalborg, Denmark

Program Committee
=================
Alessandro Coglio, Kestrel Institute
Björn Lisper, Mälardalen University
Cyrille Valentin Artho, AIST
Frédéric Boniol, ONERA
Heiko Falk, Ulm University
Jan Peleska, TZI, Universitat Bremen, Germany
Joe Leslie-Hurd, Intel Corporation
John Regehr, University of Utah
Jun Sun, Singapore University of Technology and Design
Martin Schoeberl, Technical University of Denmark
Natarajan Shankar, SRI International
Raimund Kirner, University of Hertfordshire
Stefan Berghofer, secunet Security Networks AG
Thomas Kropf, University of Tübingen
Toby Murray, NICTA

Steering Committee
==================
R. Huuck, NICTA and UNSW, Sydney, Australia
G. Klein, NICTA and UNSW, Sydney, Australia
B. Schlich, ABB Corporate Research, Ladenburg, Germany