[isabelle] VSTTE 2010: Verified Software -- Second Call for Papers

(Apologies if you receive multiple copies of this announcement)


Third International Conference on Verified Software:
           Theories, Tools, and Experiments

         Call for Conference & Workshop Papers

                  Edinburgh, Scotland

             August 16th-19th, 2010


          National Science Foundation (NSF)
          Microsoft Research
          Scottish Informatics & Computer Science Alliance (SICSA)

To become a sponsor see:


The Third International Conference on Verified Software: Theories,
Tools, and Experiments follows a successful inaugural working
conference at Zurich (2005) and a successful conference in Toronto
(2008). This conference is part of the Verified Software Initiative
(VSI), a fifteen-year, cooperative, international project directed
at the scientific challenges of large-scale software verification.
VSI also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems
Evolution. VSTTE is open to anyone who is interested in participating
actively in the VSI effort.

The goal of this conference is to advance the state of the art in
the science and technology of software verification through the
interaction of theory development, tool evolution, and experimental
validation.  Authors are encouraged to submit work in progress,
particularly if the work involves 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
   challenge problems
   integrated verification environments

We also encourage researchers to submit challenges in theory,
formalization, systems verification, code verification, and
applications. Contributions relating to existing challenges
will also be welcomed, i.e.

   * POPLMark (http://tinyurl.com/poplmark)
   * Tokeneer (http://www.adacore.com/home/products/sparkpro/tokeneer)
   * POSIX file system (http://tinyurl.com/qyzqk9)
   * medical devices (http://tinyurl.com/pnztqb)

VSTTE 2010 is being hosted by Heriot-Watt University in Edinburgh.
The conference dates coincide with the 2010 Edinburgh International
Festival and the Edinburgh Festival Fringe -- collectively the
largest annual  arts festival on the planet! The technical programme
will take place in the Edinburgh Conference Centre (Riccarton campus),
where accommodation will be available at very competitive rates for
festival time. Social events will be arranged within the city centre,
making VSTTE an unique cultural and scholarly event for 2010!

  * Tom Ball (Microsoft Research, Redmond)
  * Gerwin Klein (National ICT Australia)
  * Matthew Parkinson (University of Cambridge)

Submitted research papers and system descriptions must be original and
not submitted for publication elsewhere.  Research paper submissions are
limited to 15 proceedings pages in LNCS format and must include a
cogent and self-contained description of the ideas, methods and results,
together with a comparison to existing work. System descriptions
are also limited to 15 proceedings pages in LNCS format. 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


Submissions that arrive late, are not in the proper format, or are too
long will not be considered.  The proceedings of VSTTE 2010 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.

In addition to the main conference, VSTTE will host two workshops on
August 19th -- a workshop on Theory chaired by David Naumann and
Hongseok Yang and a workshop on Tools & Experiments chaired by Tiziana
Margaria and Rajeev Joshi. The workshops will provide a forum to
present new, possibly unfinished work and will also give the
opportunity to propose research challenges, which will help form a
research agenda for the Verified Software Initiative.

March 29 2010:     Conference paper submission deadline
May 10 2010:       Decisions on papers
May 21 2010:       Workshop paper submission
June 1 2010        Final conference paper versions due
June 23 2010:      Final workshop paper version
August 16-18 2010: Main conference
August 19 2010:    Workshops

Andrew Ireland (Heriot-Watt University; A.Ireland at hw.ac.uk)

Peter O'Hearn (Queen Mary, University of London; ohearn at dcs.qmul.ac.uk)
Gary T. Leavens (University of Central Florida; leavens at eecs.ucf.edu)
Sriram Rajamani (Microsoft Research; sriram at microsoft.com)

Peter Mueller (ETH Zurich; peter.mueller at inf.ethz.ch)

David Naumann  (Stevens Institute of Technology; dnaumann at stevens.edu)
Hongseok Yang (Queen Mary, University of London;  hyang at dcs.qmul.ac.uk)

Rajeev Joshi (NASA JPL; rajeev.joshi at jpl.nasa.gov)
Tiziana Margaria (Universität Potsdam; margaria at cs.uni-potsdam.de)

Gudmund Grov (Edinburgh University; ggrov at inf.ed.ac.uk)

Ewen Maclean (Heriot-Watt University; E.A.H.Maclean at hw.ac.uk)

Ahmed Bouajjani
Leo Freitas
Philippa Gardner
John Hatcliff
Ranjit Jhala
Joseph Kiniry
Rustan Leino
Xavier Leroy
David Naumann
Matthew Parkinson
Wolfgang Paul
Shaz Qadeer
Andrey Rybalchenko
Augusto Sampaio
Zhong Shao
Aaron Stump
Serdar Tasiran
Willem Visser
Chin Wei-Ngan
Stephanie Weirich
Greta Yorsh

Tony Hoare
Jay Misra
Natarajan Shankar
Jim Woodcock

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

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