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

[PVS] VSTTE 2010: Verified Software -- Call for Papers



(Apologies if you receive multiple copies of this announcement)

*********************************************************

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

                   Call for Papers

               Edinburgh, Scotland

             August 16th-19th, 2010

        http://www.macs.hw.ac.uk/vstte10

***********************************************************

The Third International Conference on Verified Software: Theories,  
Tools,
and Experiments follows a successful inaugural working conference at
Zurich, Switzerland in 2005 and a successful conference in Toronto,  
Canada
in 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. 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 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
    benchmarks
    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.

    the POPLMark (http://tinyurl.com/poplmark)
    file system (http://tinyurl.com/qyzqk9)
    medical devices (http://tinyurl.com/pnztqb)

VENUE
VSTTE 2010 is being hosted by Heriot-Watt University and will be held  
at the
Edinburgh Conference Centre, located on the Riccarton Campus 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 on the
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!

IMPORTANT DATES
March 29 2010:  Submission deadline
May 10 2010:  Decisions on papers
June 7 2010 Final versions due
August 16--19 2010: conference

INVITED SPEAKERS
TBA

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 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.  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 https://www.easychair.org/login.cgi?conf=vstte10 
.
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.

WORKSHOPS
In addition to the main conference, a number
of related workshops will take place on August 19th.
More details will be published summer 2009.

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

PROGRAM COMMITTEE
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

CONFERENCE CHAIR
Andrew Ireland (Heriot-Watt University; A.Ireland@hw.ac.uk)

WORKSHOP CHAIR
Peter Mueller (ETH Zurich; peter.mueller@inf.ethz.ch)

PUBLICITY CHAIR
Gudmund Grov (Heriot-Watt University; G.Grov@hw.ac.uk)

LOCAL ARRANGEMENT CHAIR
Ewen Maclean (Heriot-Watt University; E.A.H.Maclean@hw.ac.uk)

STEERING COMMITTEE
Tony Hoare
Jay Misra
Natarajan Shankar
Jim Woodcock