Call for Papers: Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments



Call for Papers: Second IFIP Working Conference on Verified Software: Theories, Tools, and Experiments

From: Richard Paige <paige_at_cs.york.ac.uk>
Date: Thu, 08 Nov 2007 18:04:06 +0000
Message-ID: <47334F96.9020203@cs.york.ac.uk>
		 PRELIMINARY CALL FOR PAPERS
              Second IFIP Working Conference on
        Verified Software: Theories, Tools, and Experiments

                 VSTTE 2008
             http://qpq.csl.sri.com/vsr/vstte-08
               Oct 6--10, 2008, Toronto, Canada

Program Chairs:
Jim Woodcock, University of York, jim@cs.york.ac.uk
Natarajan Shankar, SRI International, shankar@csl.sri.com

Program Committee:

Egon Borger, Supratik Chakraborty, Patrick Cousot, Jin Song Dong,
Jose Luiz Fiadeiro, Kokichi Futatsugi, Chris George, Ian Hayes,
Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine Lakhnech,
Gary Leavens, Zhiming Liu, Peter Manolios, Tiziana Margaria,
David Naumann, Peter O'Hearn, Ernst-Rudiger Olderog, Wolfgang Paul,
Augusto Sampaio, Mark Utting, Jian Zhang

Conference Chair:
Eric Hehner, University of Toronto, hehner@cs.utoronto.ca

Workshop Chair: tba

Publicity Chair:
Richard Paige, University of York, paige@cs.york.ac.uk

Steering Committee:
Tony Hoare, Jay Misra

Important Dates:

April 30 2008:  Submission deadline
June 30 2008:  Decisions on papers
July 31 2008 Final versions due
October 6--9 2008: VSTTE 2008


The Second IFIP Working Conference on Verified Software: Theories, Tools,
and Experiments follows a successful inaugural working conference at
Zurich, Switzerland in 2005.  This conference formally inaugurates the
Verified Software Initiative (VSI), a fifteen-year, cooperative, international
project directed at the scientific challenges of large-scale software
verification.  It is open to anyone who is interested in participating actively
in the VSI effort.

Scope: VSTTE 2008 invites submissions of technical papers on all
aspects of verified software covering theoretical as well as experimental.
The topics include requirements modeling, specification languages,
specification case-studies, formal calculi, programming languages,
language semantics, software design methods, software testing, automatic
code generation, refinement methodologies, type systems, computer
security, verification tools (static analysis, dynamic analysis, model
checking, theorem proving, satisfiability), tool integration, benchmarks, challenge
problems, and integrated verification environments. We are especially
interested in specific challenges such as the POPLMark
(http://alliance.seas.upenn.edu/ plclub/cgi-bin/poplmark/), File system
(http://www.cs.york.ac.uk/circus/mc/abz),
and medical devices (http://www.cas.mcmaster.ca/sqrl/pacemaker.htm).

Invited Speakers:

Andreas Podelski, University of Freiburg
Sriram Rajamani, Microsoft Research
John Reynolds, Carnegie-Mellon University
Moshe Vardi, Rice University

Submissions: Submitted research papers and system descriptions
must be original and not submitted for publication elsewhere.  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.  Submissions of theoretical, practical, and
experimental contributions are equally encouraged, including those that
focus on specific problems or problem domains.

Papers can be submitted at http://www.easychair.org/VSTTE08.

Submissions that arrive late or are too long will not be considered.  The
proceedings of VSTTE 2008 will be published by Springer-Verlag in the LNCS
series.  Authors of accepted papers will be requested to sign a form
transferring copyright of their contribution to Springer-Verlag.  The use
of LaTeX and the Springer llncs class files,
obtainable from http://www.springer.de/comp/lncs/authors.html,
is strongly encouraged.

-- 

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@cs.york.ac.uk
Received on Thu 08 Nov 2007 - 18:04:29 GMT