VSTTE address check
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.
HOW TO EDIT YOUR ENTRY
- Find your name in the list
- Click the "Edit" mark to the right of your name.
- You will find yourself in Wiki edit mode and will see two lines of the form <pre> and </pre>. These delimit your entry.
- Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.
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
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
Department of Computer Science University of Toronto 40 St. George Street, Rm. 3248 Toronto, ON M5S 2E4 Canada
Alessandro Coglio
Green Cordell Cordell
Patrick Cousot
Willem Paul de Roever
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
Joseph Kiniry
Daniel Kröning
Patrick Lam
Butler Lampson
Gary T. Leavens
Rustan Leino
Zhiming Liu
Panagiotis Manolios
College of Computer and Information Science Northeastern University 360 Huntington Avenue Boston, Massachusetts 02115 U.S.A.
