The following is the list of the addresses that we have for the VSTTE 2005 attendees. The purpose of this page is to make sure we ship the proceedings to the appropriate addresses. The page will be removed as soon as the books have been shipped.
Please find your name in the list, and click "Edit" to edit the entry. Make any updates to make sure that we have the proper address for mailing the proceedings volume, and add the word "CHECKED" at the end of the entry.
Thank you for your cooperation and for making this volume possible.
-- The VSTTE organization committee
SAMPLE ENTRY
Bertrand Meyer
Chair of Software Engineering
Clausiusstrasse 59
8092 ETH Zentrum
Zurich
Switzerland
CHECKED
Jean-Raymond Abrial
Rajeev Alur
Myla Archer
Ralph Back
Thomas Ball
David Basin
Yves Bertot
Ramesh Bharadwaj
Dines Bjorner
Richard Bornat
Manfred Broy
Tevfik Bultan
Michael Butler
Egon Börger
Supratik Chakraborty
Patrice Chalin
Roderick Chapman
Marsha Chechik
Alessandro Coglio
Green Cordell Cordell
Patrick Cousot
Michael Ernst
David Evans
Kathi Fisler
Kokichi Futatsugi
David Gill
Helen Gill
Allan Goldberg
Arie Gurfinkel
Masami Hagiya
Author Hagiya's
Anthony Hall
Stefan Hallerstede
Klaus Havelund
Eric C. R. Hehner
Constance Heitmeyer
Mike Hinchey
Thai Son Hoang
Tony Hoare
Gerard Holzmann
Vincent Homeier
Andrew Ireland
Bart Jacobs
He Jifeng
Cliff Jones
Mathai Joseph
Rajeev Joshi
Gilles Kahn
Joseph Kiniry
Daniel Kröning
Patrick Lam
Butler Lampson
Gary T. Leavens
Rustan Leino
Zhiming Liu
Panagiotis Manolios
Tiziana Margaria
Edu Metz
Bertrand Meyer
Jayadev Misra
J Moore
Peter Müller
David A. Naumann
Greg Nelson
Collin O'Halloran
Peter W. O'Hearn
Ernst-Rüdiger Olderog
Manuel Oriol
Wolfgang Paul
Amir Pnueli
Sanjiva Prasad
Ganesan Ramalingam
Mike Reed
Tom Reps
Tamara Rezk
Martin Rinard
Grigore Rosu
Harald Ruess
John Rushby
Mooly Sagiv
Author Sagiv's
Peter Schmitt
Florian Schneider
Wolfram Schulte
Natarajan Shankar
Natasha Sharygina
Michel Sintzoff
Douglas Smith
Graham Steel
Bernhard Steffen
Ofer Strichman
Aaron Stump
Carolyn Talcott
Cesare Tinelli
Mark Utting
Wyk Eric Van
Helmut Veith
Arnaud Venet
Laurent Voisin
Georg Weissenbacher
Jim Woodcock
Eran Yahav
Steve Zdancewic
Naijun Zhan
Jian Zhang
Juanjun Zhao
Willem Paul de Roever
