Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Last Call for Papers: Systems Software Verific...


view this post on Zulip Email Gateway (Aug 19 2022 at 08:46):

From: Gerwin Klein <gerwin.klein@nicta.com.au>
[Note: Submission Deadline is 19 September 2012,
Abstract Deadline is 14 September 2012]

7th Systems Software Verification Conference (SSV 2012)
November 28--30, 2012
Sydney, Australia

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

*Scope

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=ssv2012) until September
19th, 2012. Papers should be up to 10 pages in pdf format and
formatted in EPTCS style. 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.

*Publication

The proceedings will be published with EPTCS (http://eptcs.org).

*Important Dates

Abstract Submission: September 14, 2012
Paper Submission: September 19, 2012
Notification: October 19, 2012
Conference: November 28–30, 2012

*Location

The workshop will be held in Sydney, Australia at NICTA NRL Laboratory.

*Organization

Organizing Committee and PC Chairs
• F. Cassez, NICTA, Sydney, Australia
• R. Huuck, NICTA and UNSW, Sydney, Australia
• G. Klein, NICTA and UNSW, Sydney, Australia
• B. Schlich, ABB Corporate Research, Ladenburg, Germany

Program Committee
• Cyrille Artho, AIST, RISEC, Japan
• Stefan Berghofer, Secunet, Germany
• Frédéric Boniol, ONERA, France
• Alessandro Coglio, Kestrel, USA
• Joe Hurd, Intel, USA
• Stefan Kowalewski, RWTH Aachen University, Germany
• Thomas Kropf, Robert Bosch GmbH & U. of Tübingen, Germany
• Kim G. Larsen, CISS, Aalborg University, Denmark
• Toby Murray, NICTA, Sydney, Australia
• Jan Peleska, Verified Systems International GmbH and
University of Bremen, Germany
• John Regehr, University of Utah, USA
• Natarajan Shankar, SRI, USA
• Zhong Shao, Yale, USA
• Konrad Slind, Rockwell Collins, USA
• Jun Sun, National University of Singapore, Singapore


Last updated: Mar 28 2024 at 12:29 UTC