VSTTE 2008 -- Verified Software: Theories, Tools and Experiments
2008 October 6--9
Toronto, Ontario, Canada
Conference Chair
Program Chairs
Jim Woodcock and Natarajan Shankar
Program Committee
Egön Boerger, Supratik Chakraborty, Patrick Cousot, Jin Song Dong, Jose Luis Fiadeiro, Kokichi Futatsugi, Chris George, Ian Hayes, Eric Hehner, Rajeev Joshi, Joseph Kiniry, Yassine Lakhnech, Gary Leavens, Liu Zhiming, Peter Manolios, Tiziana Margaria, David Naumann, Peter O'Hearn, Ernst-Ruediger Olderog, Wolfgang Paul, Augusto Sampaio, Mark Utting, Jian Zhang
Publicity Chair