VSTTE’10

Verified Software:

Theories, Tools and Experiments

16th-19th August

2010

Edinburgh, Scotland

 
 

Sponsors

  
     


   
   
   



Latest News

30 August July 2010:  Verification competition solutions updated

More/updated details about the verification competition (results) are available here.


25 August July 2010:  Photos from conference available

Some photos taken during the conference are now available here.


19 August July 2010:  Verification competition results announced

More details about the verification competition results are available here.


18 August July 2010:  Verification competition announced

More details about the verification competition are available here.


more news »

 

proceedings published by:




coinciding festivals:

 
 
  
  
 
Important dates (** All deadlines based on midnight Apia/Samoa time **)

Welcome to the VSTTE’10 webpage

The 3rd International Conference on Verified Software: Theories, Tools and Experiments (VSTTE) will be hosted by Heriot-Watt University in Edinburgh. 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. This initiative also includes UKCRC's Grand Challenge 6, i.e. Dependable Systems Evolution. Previously, VSTTE was held in Toronto (2008) and Zurich (2005). August is festival time in Edinburgh, and the conference will coincide with several international festivals making VSTTE-10 an unique cultural and scholarly event for 2010!

Click here to download the VSTTE’10 poster!

May 10: Decisions on papers
May 28 : Workshop paper submission 
June 1: Final conference version
June 18: Poster+abstract submission
June 25: Notification on workshop papers
June 30: Decision on posters
July 23: Final workshop version 
July 31: Final (poster) abstract version