[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
========================================================================
SSV 2015 Final Call for Papers -- Deadline Extended
http://www.ssv-conference.org/
9th Conference on Systems Software Verification
Gold Coast, Australia, December 7-8, 2015
co-located with ICECCS.
========================================================================
Important Dates
Paper Submission: October 5, 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 October 5th, 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
