Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 2nd Call for Papers: VSTTE workshops on Theory...


view this post on Zulip Email Gateway (Aug 18 2022 at 15:12):

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:

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


Last updated: Mar 29 2024 at 04:18 UTC