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
The programme includes keynote presentations by Tom Ball (Microsoft),
Gerwin Klein (National ICT Australia), Matthew Parkinson (University of
Cambridge). There will also be a Summer School, Invited Tool Demo Presentations, a
Verification Competition, Industrial Tool Vendors as wells as two workshops:
Theory WS and Tools & Experiments WS. A provisional programme is available at
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 (Heriot-Watt University
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!
As well as a welcome reception and conference banquet, SICSA are
sponsoring a special drinks reception in the Informatics Forum
at the heart of the Festival on August 17th.
Limited support for students wishing to attend VSTTE 2010 is available.
Please contact [hidden email] for more details.
Online registration is available from