[isabelle] SSV 2015 - 2nd Call for Papers

SSV 2015 2nd Call for Papers


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
Paper Submission: September 28, 2015 at
Notification: October 30, 2015
Conference: December 7â8, 2015


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 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

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 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


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.