VSTTE 2008 -- Verified Software: Theories, Tools and Experiments
2008 October 6--9
Toronto, Ontario, Canada
All sessions for the conference will take place at the Novotel Toronto Centre. Please make your own reservation, and quote "Verified Software Conference" to obtain the conference rate of $169 (plus taxes) per night.