[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Call for Papers and Participation: VSTTE'08 Workshops on Tools, Theories and Experiments



CALL FOR PAPERS AND PARTICIPATION

VSTTE 2008 Workshops on Theories, Tools and Experiments

located with the
Second Working Conference on Verified Software:
Theories, Tools, and Experiments
(VSTTE 2008)

http://qpq.csl.sri.com/vsr/vstte-08
Toronto, Canada

The main VSTTE 2008 conference will host three specialised workshops on theories,
tools, and experiments for verified software. Each workshop is soliciting papers and
participation, as detailed below. Please contact the workshop organizers directly for
clarification about submission deadlines, formatting, and proceedings.

-------------------------------------------------------------------------------------
VS-THEORY: Workshop on Theory for Verified Software

Oct 10, 2008, Toronto, Canada

Organizers:

Dave Naumann
Stevens Institute of Technology
naumann@xxxxxxxxxxxxxx

Peter O'Hearn
Queen Mary,  University of London
ohearn@xxxxxxxxxxxxxx

Program verification has seen a worldwide renaissance, with many practical tool
projects and experimental verification efforts ongoing. The current state of the
field builds on fundamental theoretical advances of the past. Similarly, future
advances on software verification will depend on developments in theory. This can
range from the difficult and essential study of soundness of delicate proof methods,
to the discovery of new specification techniques and proof methods, to dramatic
simplification or unification of existing methods, to as yet unknown breakthroughs.

The Verified Software Initiative (VSI) is envisaged as a fifteen year ``grand
challenge'' project to advance the state of software verification. Specific milestones
and challenges of the VSI should often be concrete in nature, but advances beyond
immediate progress will again depend on theoretical insights. The purpose of this
workshop is to bring together theory and programming language researchers to discuss scientific challenges posed by software verification.


Interested speakers can contact Dave Naumann by the end of July with a title and
abstract.  The list of speakers will be finalized by the end of August.

-------------------------------------------------------------------------------------
VS-EXPERIMENTS: Workshop on Experiments in Verified Software
10 October 2008
Toronto, Canada

Organizers:

Rajeev Joshi, NASA/JPL Laboratory for Reliable Software
Rajeev.Joshi@xxxxxxxxxxxx

Joseph Kiniry, University College Dublin
kiniry@xxxxxx

Program Committee:

Michael Butler (Southampton)
Patrice Chalin (Concordia)
Rod Chapman (Praxis)
Madan Musuvathi
Jose Nuno Oliveira (Univ. of Minho)
Robby (KSU, USA)
Dan Zimmerman (UWash-Tacoma)
others TBD

Scope: VS-EXPERIMENTS 2008 invites submissions of technical and position papers on all aspects of experiments conducted relating to verified software.

We are especially interested in the reflective results of past challenges and ongoing experiments. Such projects include the Mondex Case Study (\url{http://www.gc6.clrc.ac.uk/VSR/VSR-Mondex.aspx}), the Verified
File System (\url{http://www.cs.york.ac.uk/circus/mc/abz}), medical devices
(\url{http://www.cas.mcmaster.ca/sqrl/pacemaker.htm}), and work on verifying Free/Open Source Software like the Apache webserver and the KOA e-voting platform.


This workshop is meant to be a working workshop. Participants are responsible for formulating action plans, based upon current experiences and best-practices, for tackling the challenges inherent in identifying, defining, promoting, executing,
sharing, maintaining, and publishing the results of scientific experiments in verified
software.


Invited Speaker: an invited speaker will open up the workshop with some sage words
that cause great controversy and inspiration.

Submissions: Submitted research papers and system descriptions must be original and not submitted for publication elsewhere. Technical research paper submissions are
limited to 15 proceedings pages and must include a cogent and self-contained
description of the ideas, methods, results, and comparison to existing work. Position papers are limited to 6 proceedings pages and should include concrete proposals
relating to current and future experiments.


Papers can be submitted at http://www.easychair.org/conferences/?conf=vsexperiments2008.

Submissions that arrive late or are too long will not be considered.

Important Dates for VS-EXPERIMENTS 2008:

Mon, 17 Aug -- submission deadline
Mon, 1 Sep -- notification of acceptance/rejection
Mon, 15 Sep -- final submissions

-------------------------------------------------------------------------------------
VS-TOOLS: Workshop on Tools in Verified Software
10 October 2008
Toronto, Canada

Organizers:

Daniel Kroening, Computing Laboratory, Oxford University
kroening@xxxxxxxxxxxxxxx

Tiziana Margaria, University of Potsdam
margaria@xxxxxxxxxxxxxxxxx

Scope: VS-TOOLS2008 invites submissions of technical and position papers on all aspects of tools conducted relating to verified software.

Paper-and-pencil proofs are error-prone, and expensive. Program verification provides
better value if proofs are checked by machine, and preferably generated automatically. The properties checked can range from light-weight control-flow properties to full
specification.


In order to demonstrate that machine reasoning can improve the quality and cost of artifacts of industrial software engineers, a substantial tool-building effort is
required. This workshop will bring tool-builders together in order to learn about


- interfaces between tools (e.g., decision procedures and program verifiers);
- (tool) integration platforms, and
- case studies that particularly excite the tool aspect.

The workshop will have a number of invited speakers. Interested speakers can contact the organizers by the end of July with a title and abstract. The list of speakers will be finalized by the end of August.

--

Dr. Richard Paige
Senior Lecturer in Software Engineering
Department of Computer Science,
University of York,
Heslington, York, YO10 5DD, United Kingdom.
+44 1904 433242
paige@xxxxxxxxxxxxx

--

Dr. Richard Paige
Senior Lecturer in Software Engineering
Department of Computer Science,
University of York,
Heslington, York, YO10 5DD, United Kingdom.
+44 1904 433242
paige@xxxxxxxxxxxxx