Email Gateway (Aug 18 2022 at 15:06): Email Gateway (Aug 18 2022 at 15:06):From: Gudmund Grov <ggrov@staffmail.ed.ac.uk>
------ Apologies for multiple copies ------
VSTTE 2010: Workshops on Theories, Tools and Experiments
Edinburgh, Scotland, 19th August 2010
The Third International Conference on Verified Software: Theories,
Tools, and Experiments (VSTTE) is part of the Verified Software
Initiative (VSI), a fifteen-year, cooperative, international project
directed at the scientific challenges of large-scale software
verification. VSTTE will host two workshops:
VS-Theory focuses on theoretical foundations of software
verification. Topics 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.
VS-Tools & Experiments focuses on the development of verification
tools and their experimental evaluation. Topics include interfaces
between tools, tool integration platforms, and case studies.
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. For further details, see the workshop web site:
http://www.macs.hw.ac.uk/vstte10/Workshops.html
Submissions
Papers must be written in English using Springer LNCS style. The
page limit is 10 pages for technical papers and 5 pages for
proposals of verification challenges. The proceedings will be
published as a technical report. Details on the submission process
are available at http://www.macs.hw.ac.uk/vstte10/Workshops.html.
Important Dates
Submission: May 21, 2010
Notification: June 25, 2010
Final version: July 23, 2010
Workshops: August 19, 2010, 9am-1pm
Chairs
VS-Theory is co-chaired by
David Naumann, Stevens Institute of Technology, USA and
Hongseok Yang, Queen Mary, University of London, UK
VS-Tools & Experiments is co-chaired by
Tiziana Margaria, University of Potsdam, Germany and
Rajeev Joshi, NASA/JPL Laboratory for Reliable Software, USA
Last updated: Nov 21 2024 at 12:39 UTC