Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] SSV 2015 - Deadline Extended to Oct 5th


view this post on Zulip Email Gateway (Aug 22 2022 at 11:19):

From: Toby Murray <toby.murray@nicta.com.au>
========================================================================
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:

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


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.


Last updated: Mar 29 2024 at 08:18 UTC