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

2008 October 6--9

Toronto, Ontario, Canada

Venue

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.