[isabelle] CFP: Systems Software Verification 2008

                  3rd International Workshop on

              Systems Software Verification (SSV 08)
           Real Software, Real Problems, Real Solutions

               Feb 25/26 2008, Sydney, Australia


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 which are invalidated by complex (embedded) system
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 to find real, applicable solutions. By
"real" we mean problems such as time-to-market or reliability that the
industry is facing and is trying to fix in software that is deployed
in the market place. 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. This forum will discuss software
analysis/development techniques and tools; it will also serve as a
platform to discuss open problems and future challenges in dealing
with existing and upcoming system code.

Topics include (but are not limited 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

Interested speakers should submit their paper (max 15 pages, ENTCS
style) to http://www.easychair.org/SSV08/ by Oct 19 2007, 23:59h
Samoan time. All papers 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.
Accepted submissions are planned to be published at ENTCS. Submissions
must be in pdf format and follow the ENTCS style instructions at

Important dates
Oct 19 2007    Submission Deadline
Dec 14 2007    Notification of accepted papers
Jan 11 2008    Final version
Jan 11 2008    Registration deadline
Feb 25/26 2008 Workshop

The workshop is organized as a two-day workshop (Feb 25/26 2008) and
might be preceded by a tutorial day.

The workshop will be held in Sydney, Australia on the campus of the
University of New South Wales near Coogee Beach.

Program Chair
Ralf Huuck (NICTA)
Gerwin Klein (NICTA)
Bastian Schlich (RWTH Aachen University)

Program Committee
Andy Chou (Coverity)
Byron Cook (Microsoft Research Cambridge)
Dennis Dams (Alcatel-Lucent)
Ansgar Fehnker (NICTA)
David Hardin (Rockwell Collins)
Joost-Pieter Katoen (RWTH Aachen University)
Thomas Kropf (Robert Bosch GmbH)
Gerald L¸ttgen (York)
John Matthews (Galois)
Tobias Nipkow (TUM)
Michael Norrish (NICTA)
Wolfgang Paul (Saarbruecken)
Jan Peleska (University of Bremen)
Alexander Pretschner (ETH Z¸rich)
Kai Richter (Symtavision GmbH)
Zhong Shao (Yale)
Hendrik Tews (Nijmegen)
Stavros Tripakis (Verimag/Cadence)
Carsten Weise (RWTH Aachen University)

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