[TYPES/announce] SSV 2015 - Call for Papers

[Toby Murray]

========================================================================
SSV 2015 Call for Papers

http://www.ssv-conference.org/

9th Conference on Systems Software Verification

Gold Coast, Australia, December 7-8, 2015
co-located with ICECCS.

========================================================================

Important Dates

Abstract Submission: September 21, 2015 at
https://www.easychair.org/conferences/?conf=ssv2015
Paper Submission: September 28, 2015 at
https://www.easychair.org/conferences/?conf=ssv2015
Notification: October 30, 2015
Conference: December 7–8, 2015


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 conference 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 event 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 and type systems
* Automated testing
* Model-driven development
* Concurrency
* Security
* Embedded systems development
* Programming languages
* Verifying compilers
* Software certification
* Software tools
* Experience reports


Submissions

Submissions must be made electronically through the EasyChair system
until September 28th, 2015. 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.


Proceedings

Proceedings will be published as an issue in Electronic Proceedings in
Theoretical Computer Science.


Program Committee

Jade Alglave, University College London
Ezio Bartocci, TU Wien
Andrew Butterfield, Lero, Trinity College Dublin
Franck Cassez, Macquarie University
Ana Cavalcanti, University of York
Mads Dam, KTH Royal Institute of Technology
Alastair Donaldson, Imperial College London
Stefania Gnesi, ISTI
Chris Hawblitzel, Microsoft Research
Jérome Hugues, ISAE
Limin Jia, CMU
Tiziana Margaria, Lero, University of Limerick
Toby Murray, NICTA and UNSW (Co-Chair)
John Regehr, University of Utah
David Sanán, NTU (Co-Chair)
Konrad Slind, Rockwell Collins
Jun Sun, SUTD
Alwen Tiu, NTU
Mark van den Brand, Eindhoven University of Technology


Steering Committee

Ralf Huuck, NICTA and UNSW
Gerwin Klein, NICTA and UNSW
Bastian Schlich, ABB Corporate Research