VSTTE checked addresses
The following is the list of confirmed addresses for the VSTTE 2005 attendees. See here for addresses not yet known.
Rajeev Alur
Myla Archer
Thomas Ball
David Basin
Yves Bertot
Ramesh Bharadwaj
Richard Bornat
Manfred Broy
Tevfik Bultan
Michael Butler
Egon Börger
Supratik Chakraborty
Patrice Chalin
Roderick Chapman
Marsha Chechik
Alessandro Coglio
Patrick Cousot
David Evans
Kathi Fisler
Kokichi Futatsugi
Andy Galloway
Cordell Green
Arie Gurfinkel
Anthony Hall
Eric C. R. Hehner
Constance Heitmeyer
Mike Hinchey
Thai Son Hoang
Tony Hoare
Gerard Holzmann
Peter Vincent Homeier
Frantz Iwu
Bart Jacobs
Cliff Jones
Rajeev Joshi
Joseph Kiniry
Daniel Kröning
Patrick Lam
Butler Lampson
Gary T. Leavens
Gary T. Leavens
Rustan Leino
Zhiming Liu
Panagiotis Manolios
John McDermid
Bertrand Meyer
Jayadev Misra
J Moore
Peter Müller
David A. Naumann
Collin O'Halloran
Peter W. O'Hearn
