VSTTE 2008 header logo

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.