Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for Papers: SSV 2014


view this post on Zulip Email Gateway (Aug 19 2022 at 14:00):

From: Toby Murray <toby.murray@nicta.com.au>
========================================================================
SSV 2014 Call for Papers
http://www.ssv-conference.org/

8th International Workshop on
Systems Software Verification

Vienna, July 23-24, 2014
co-located with CAV and ITP,
as part of the Vienna Summer of Logic 2014.
========================================================================

Important Dates
===============
Paper Submission: April 1, 2014
Notification: May 1, 2014
Conference: July 23–24, 2014

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

Submissions
===========
Submissions must be made electronically through the EasyChair system
[https://www.easychair.org/conferences/?conf=ssv2014] until April 1st,
2014. 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.

PC Chairs
=========
Kim G. Larsen, AAU, Aalborg, Denmark
Mads Chr. Olesen, AAU, Aalborg, Denmark

Program Committee
=================
Alessandro Coglio, Kestrel Institute
Björn Lisper, Mälardalen University
Cyrille Valentin Artho, AIST
Frédéric Boniol, ONERA
Heiko Falk, Ulm University
Jan Peleska, TZI, Universitat Bremen, Germany
Joe Leslie-Hurd, Intel Corporation
John Regehr, University of Utah
Jun Sun, Singapore University of Technology and Design
Martin Schoeberl, Technical University of Denmark
Natarajan Shankar, SRI International
Raimund Kirner, University of Hertfordshire
Stefan Berghofer, secunet Security Networks AG
Thomas Kropf, University of Tübingen
Toby Murray, NICTA

Steering Committee
==================
R. Huuck, NICTA and UNSW, Sydney, Australia
G. Klein, NICTA and UNSW, Sydney, Australia
B. Schlich, ABB Corporate Research, Ladenburg, Germany


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 12:28 UTC