VSTTE 2008 header logo

VSTTE 2008 -- Verified Software: Theories, Tools and Experiments

2008 October 6--9

Toronto, Ontario, Canada

The Second Working Conference on Verified Software: Theories, Tools, and Experiments follows a successful inaugural working conference at Zurich, Switzerland in 2005. This conference formally inaugurates the Verified Software Initiative (VSI), a fifteen-year, cooperative, international project directed at the scientific challenges of large-scale software verification. The Working Conference welcomes anyone who is interested in participating actively in the VSI effort.

The conference will be made up of plenary sessions, keynote talks, and workshops. There will be plenary sessions Monday through Thursday. Thursday is also devoted to three workshops: one on Theories, one on Tools, and one on Experiments. There will be a conference dinner on Wednesday evening on a boat that tours the Toronto harbour and Scarborough Bluffs and the shore of Lake Ontario.

We look forward to welcoming you to Toronto!