Difference between revisions of "VSTTE address check"
(→Kathi Fisler) |
(→Thai Son Hoang) |
||
Line 199: | Line 199: | ||
==Thai Son Hoang == | ==Thai Son Hoang == | ||
<pre> | <pre> | ||
+ | Chair of Information Security | ||
+ | IFW C48.2 | ||
+ | Haldeneggsteig 4 / Weinbergstrasse | ||
+ | 8092 ETH Zentrum | ||
+ | Zurich | ||
+ | Switzerland | ||
</pre> | </pre> | ||
+ | |||
==Tony Hoare == | ==Tony Hoare == | ||
<pre> | <pre> |
Revision as of 03:42, 22 July 2008
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
Yves Bertot 2004, route des lucioles B.P. 93 06902 Sophia Antipolis Cedex France
Ramesh Bharadwaj
Dines Bjorner
Richard Bornat
Manfred Broy
Tevfik Bultan
Tevfik Bultan Department of Computer Science University of California Santa Barbara, CA 93106-5110 USA
Michael Butler
Michael Butler Electronics and Computer Science University of Southampton Highfield Southampton SO17 1BJ United Kingdom
Egon Börger
Supratik Chakraborty
Supratik Chakraborty Dept. of Computer Science and Engg. I.I.T. Bombay, Powai Mumbai 400076 Maharashtra India
Patrice Chalin
Roderick Chapman
Praxis High Integrity Systems 20 Manvers Street Bath BA1 1PX UK
Marsha Chechik
Department of Computer Science University of Toronto 40 St. George Street, Rm. 3248 Toronto, ON M5S 2E4 Canada
Alessandro Coglio
Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94041 USA
Green Cordell
Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94041 USA
Patrick Cousot
Patrick Cousot Département d'Informatique École normale supérieure 45 rue d'Ulm 75230 Paris cedex 05 (France)
Willem Paul de Roever
Michael Ernst
David Evans
Kathi Fisler
Kathi Fisler WPI Department of Computer Science 100 Institute Road Worcester, MA 01609 USA
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
Chair of Information Security IFW C48.2 Haldeneggsteig 4 / Weinbergstrasse 8092 ETH Zentrum Zurich Switzerland
Tony Hoare
Gerard Holzmann
Vincent Homeier
Andrew Ireland
Bart Jacobs
Prof.dr. B.P.F. Jacobs Institute for Computing and Information Sciences (ICIS) Radboud University Nijmegen Heyendaalseweg 135 6525 AJ Nijmegen The Netherlands
He Jifeng
Cliff Jones
Prof Cliff Jones School of Computing Science Newcastle University NE1 7RU UK
Mathai Joseph
Rajeev Joshi
Rajeev Joshi 4800 Oak Grove Drive, MS 301-285 Pasadena, CA 91109 USA
Joseph Kiniry
Daniel Kröning
ETH Zentrum RZ H14 8092 Zuerich
Patrick Lam
Butler Lampson
Gary T. Leavens
Gary T. Leavens Harris Center (Bldg. 116) School of EECS, University of Central Florida 4000 Central Florida Blvd. Orlando, FL 32816-2362 USA
Rustan Leino
Zhiming Liu
Panagiotis Manolios
College of Computer and Information Science Northeastern University 360 Huntington Avenue Boston, Massachusetts 02115 U.S.A.
Tiziana Margaria
Edu Metz
Bertrand Meyer
Jayadev Misra
J Moore
J Strother Moore Department of Computer Sciences Taylor Hall 2.124 University of Texas at Austin Austin, TX 78712 USA
Peter Müller
David A. Naumann
David Naumann Computer Science Stevens Institute of Technology Castle Point on Hudson Hoboken, NJ 07030 USA
Greg Nelson
Collin O'Halloran
Colin O'Halloran 33 Geraldine Road Malvern Worcestershire WR14 3NT UK
Peter W. O'Hearn
Ernst-Rüdiger Olderog
Manuel Oriol
Wolfgang Paul
Amir Pnueli
Sanjiva Prasad
Ganesan Ramalingam
Mike Reed
Tom Reps
Thomas Reps Computer Sciences Department University of Wisconsin 1210 West Dayton Street Madison, WI 53706 USA
Tamara Rezk
Martin Rinard
Grigore Rosu
Harald Ruess
John Rushby
Mooly Sagiv
Author Sagiv's
Peter Schmitt
Florian Schneider
Wolfram Schulte
Microsoft Research One Microsoft Way Redmond, WA 98052, USA
Natarajan Shankar
Natasha Sharygina
Michel Sintzoff
Douglas Smith
Graham Steel
Bernhard Steffen
Ofer Strichman
Ofer Strichman The Technion / Industrial Engineering Haifa 32000 Israel
Aaron Stump
Carolyn Talcott
Cesare Tinelli
Mark Utting
Mark Utting Department of Computer Science The University of Waikato Private Bag 3105 Hamilton 3240 NEW ZEALAND
Wyk Eric Van
Helmut Veith
Arnaud Venet
Laurent Voisin
M. Laurent Voisin Systerel Portes de l'Arbois 1090, rue René Descartes 13857 Aix-en-Provence Cedex 3 FRANCE
Georg Weissenbacher
Jim Woodcock
Eran Yahav
Eran Yahav IBM T.J. Watson Research Center 19 Skyline Dr. Hawthorne, NY 10532 USA
Steve Zdancewic
Naijun Zhan
Naijun Zhan Lab. of Computer Science Institute of Software Chinese Academy of Sciences #4, South Fourth Str., Zhong Guan Cun Beijing, 100190 P.R. China
Jian Zhang
Prof. Jian Zhang Institute of Software Chinese Academy of Sciences #4, South Fourth Str., Zhong Guan Cun Beijing, 100190 P.R. China