[isabelle] Final (Revised, including Workshops) CfP for Verified Software: Theories, Tools, and Experiments 2008

Second Working Conference on
Verified Software: Theories, Tools, and Experiments

VSTTE 2008
Oct 6--9, 2008, Toronto, Canada

Program Chairs:
Jim Woodcock, University of York
jim at cs.york.ac.uk

Natarajan Shankar, SRI International
shankar at csl.sri.com

Program Committee:
Egon Boerger, 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-Ruediger Olderog,
Wolfgang Paul, Augusto Sampaio, Mark Utting, Jian Zhang

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

Workshop Chairs:
Theories: David Naumann & Peter O'Hearn
Tools: Daniel Kroening & Tiziana Margaria
Experiments: Rajeev Joshi & Joseph Kiniry

Publicity Chair:
Richard Paige, University of York
paige at 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: The goal of this conference is to advance the state of
the art in the science and technology of program verification through the
interaction of theory development, tool evolution, and experimental
validation.  Authors are encouraged to submit works in progress,
particularly if these involve collaboration, theory unification, and tool
integration.  Topics of interest include requirements modeling,
specification languages, specification/verification 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

Invited Speakers:

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


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.

Workshops: The Working Conference will be followed by three
workshops on Oct 10, 2008, Theories, Tools, and Experiments.
These workshops will focus on formulating action plans for tackling the
challenges for verified software.

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