Difference between revisions of "VSTTE address check"

(→‎Anthony Hall)
(→‎Juanjun Zhao)
 
(84 intermediate revisions by 5 users not shown)
Line 1: Line 1:
 
__NOTOC__
 
__NOTOC__
−
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.
+
The following is the list of the addresses that we DO NOT YET HAVE for the VSTTE 2005 attendees (see [[VSTTE_checked_addresses|here]] for the confirmed addresses). 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==
 
==HOW TO EDIT YOUR ENTRY==
−
* Find your name in the list
+
* You must be logged in first. Use the "Log in / Create account" link at the top-right of this page (in white over the dark blue background of the Eiffel tower picture). Use the user name and password that have been sent to you by email.
 +
* Find your name in the list.
 
* Click the "Edit" mark to the right of your name.
 
* 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 <nowiki><pre> and </pre></nowiki>. These delimit your entry.
+
* You will find yourself in Wiki edit mode and will see two lines of the form <nowiki><pre> and </pre></nowiki>. They delimit your entry.
 
* Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.
 
* Between those two lines, enter your full postal address (including your name) as it should appear on the envelope.
  
Line 26: Line 27:
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Rajeev Alur ==
+
 
−
<pre>
+
−
</pre>
+
−
==Myla Archer ==
+
−
<pre>
+
−
</pre>
+
 
==Ralph Back ==
 
==Ralph Back ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Thomas Ball ==
 
−
<pre>
 
−
</pre>
 
−
==David  Basin ==
 
−
<pre>
 
−
</pre>
 
−
==Yves Bertot ==
 
−
<pre>
 
−
Yves Bertot
 
−
2004, route des lucioles
 
−
B.P. 93
 
−
06902 Sophia Antipolis Cedex
 
−
France
 
 
</pre>
 
</pre>
  
−
==Ramesh Bharadwaj ==
 
−
<pre>
 
−
</pre>
 
 
==Dines Bjorner ==
 
==Dines Bjorner ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Richard Bornat ==
 
−
<pre>
 
−
</pre>
 
−
==Manfred Broy ==
 
−
<pre>
 
−
</pre>
 
−
==Tevfik Bultan ==
 
−
<pre>
 
−
Tevfik Bultan
 
−
Department of Computer Science
 
−
University of California
 
−
Santa Barbara, CA 93106-5110
 
−
USA
 
 
</pre>
 
</pre>
  
−
==Michael Butler ==
+
==Willem Paul de Roever ==
−
<pre>
+
Done
−
Michael Butler
+
<pre>Prof. Dr. W.-P. de Roever, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Deutschland
−
Electronics and Computer Science
+
−
University of Southampton
+
−
Highfield
+
−
Southampton SO17 1BJ
+
−
United Kingdom
+
 
</pre>
 
</pre>
  
−
==Egon Börger ==
 
−
<pre>
 
−
</pre>
 
−
==Supratik Chakraborty ==
 
−
<pre>
 
−
Supratik Chakraborty
 
−
Dept. of Computer Science and Engg.
 
−
I.I.T. Bombay, Powai
 
−
Mumbai 400076
 
−
Maharashtra
 
−
India
 
−
</pre>
 
−
 
−
==Patrice Chalin ==
 
−
<pre>
 
−
</pre>
 
−
==Roderick Chapman ==
 
−
<pre>
 
−
Praxis High Integrity Systems
 
−
20 Manvers Street
 
−
Bath
 
−
BA1 1PX
 
−
UK
 
−
</pre>
 
−
 
−
==Marsha Chechik ==
 
−
<pre>
 
−
Department of Computer Science
 
−
University of Toronto
 
−
40 St. George Street, Rm. 3248
 
−
Toronto, ON M5S 2E4
 
−
Canada
 
−
</pre>
 
−
 
−
==Alessandro Coglio ==
 
−
<pre>
 
−
Kestrel Institute
 
−
3260 Hillview Avenue
 
−
Palo Alto, CA 94041
 
−
USA
 
−
</pre>
 
−
 
−
==Green Cordell ==
 
−
<pre>
 
−
Kestrel Institute
 
−
3260 Hillview Avenue
 
−
Palo Alto, CA 94041
 
−
USA
 
−
</pre>
 
−
 
−
==Patrick Cousot ==
 
−
<pre>
 
−
Patrick Cousot
 
−
Département d'Informatique
 
−
École normale supérieure
 
−
45 rue d'Ulm
 
−
75230 Paris cedex 05 (France)
 
−
</pre>
 
−
 
−
==Willem Paul de Roever ==
 
−
<pre>
 
−
</pre>
 
 
==Michael Ernst ==
 
==Michael Ernst ==
 
<pre>
 
<pre>
−
</pre>
 
−
==David Evans ==
 
−
<pre>
 
−
</pre>
 
−
==Kathi Fisler ==
 
−
<pre>
 
−
Kathi Fisler
 
−
WPI Department of Computer Science
 
−
100 Institute Road
 
−
Worcester, MA 01609
 
−
USA
 
 
</pre>
 
</pre>
  
−
==Kokichi Futatsugi ==
 
−
<pre>
 
−
</pre>
 
 
==David Gill ==
 
==David Gill ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Helen Gill ==
 
==Helen Gill ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Allan Goldberg ==
 
==Allan Goldberg ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Arie Gurfinkel ==
 
−
<pre>
 
−
Arie Gurfinkel
 
−
Software Engineering Institute
 
−
4500 Fifth Ave
 
−
Pittsburgh, PA, 15213-2612
 
−
USA
 
 
</pre>
 
</pre>
  
Line 182: Line 60:
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Author Hagiya's ==
+
 
 +
==Hagiya's co-author==
 
<pre>
 
<pre>
−
</pre>
 
−
==Anthony Hall ==
 
−
<pre>
 
−
22 Hayward Road
 
−
Oxford OX2 8LW
 
−
UK
 
 
</pre>
 
</pre>
  
Line 195: Line 68:
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Klaus Havelund ==
 
==Klaus Havelund ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Eric C. R. Hehner ==
+
 
 +
 
 +
==Jifeng He==
 
<pre>
 
<pre>
−
</pre>
+
Done
−
==Constance Heitmeyer ==
+
Jifeng He
−
<pre>
+
Software Engineering Institute
−
</pre>
+
East China Normal University
−
==Mike Hinchey ==
+
3663 Zhongshan Road(North)
−
<pre>
+
Shanghai,China
−
</pre>
+
−
==Thai Son Hoang ==
+
−
<pre>
+
−
Thai Son Hoang
+
−
Chair of Information Security
+
−
IFW C48.2
+
−
Haldeneggsteig 4 / Weinbergstrasse
+
−
8092 ETH Zentrum
+
−
Zurich
+
−
Switzerland
+
 
</pre>
 
</pre>
  
−
==Tony Hoare ==
 
−
<pre>
 
−
</pre>
 
−
==Gerard Holzmann ==
 
−
<pre>
 
−
</pre>
 
−
==Vincent Homeier ==
 
−
<pre>
 
−
</pre>
 
 
==Andrew Ireland ==
 
==Andrew Ireland ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Bart Jacobs ==
 
−
<pre>
 
−
Prof.dr. B.P.F. Jacobs
 
−
Institute for Computing and Information Sciences (ICIS)
 
−
Radboud University Nijmegen
 
−
Heyendaalseweg 135
 
−
6525 AJ Nijmegen
 
−
The Netherlands
 
−
</pre>
 
−
 
−
==He Jifeng ==
 
−
<pre>
 
−
</pre>
 
−
==Cliff Jones ==
 
−
<pre>
 
−
Prof Cliff Jones
 
−
School of Computing Science
 
−
Newcastle University
 
−
NE1 7RU
 
−
UK
 
 
</pre>
 
</pre>
  
 
==Mathai Joseph ==
 
==Mathai Joseph ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Rajeev Joshi ==
 
−
<pre>
 
−
Rajeev Joshi
 
−
4800 Oak Grove Drive, MS 301-285
 
−
Pasadena, CA 91109
 
−
USA
 
 
</pre>
 
</pre>
  
−
==Joseph Kiniry ==
+
==Tiziana Margaria ==
 
<pre>
 
<pre>
−
Joseph Kiniry
 
−
UCD CASL
 
−
Belfield Park building #8
 
−
Dublin 4
 
−
IRELAND
 
 
</pre>
 
</pre>
  
−
==Daniel Kröning ==
 
−
<pre>
 
−
ETH Zentrum RZ H14
 
−
8092 Zuerich
 
−
</pre>
 
  
−
==Patrick Lam ==
+
==Edu Metz ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Butler Lampson ==
 
−
<pre>
 
−
Butler W. Lampson
 
−
180 Lake View Ave.
 
−
Cambridge MA 02138
 
−
USA
 
 
</pre>
 
</pre>
  
−
==Gary T. Leavens ==
+
==Greg Nelson ==
 
<pre>
 
<pre>
−
Gary T. Leavens
 
−
Harris Center (Bldg. 116)
 
−
School of EECS, University of Central Florida
 
−
4000 Central Florida Blvd.
 
−
Orlando, FL 32816-2362
 
−
USA
 
 
</pre>
 
</pre>
  
−
==Rustan Leino ==
+
==Ernst-Rüdiger Olderog ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Zhiming Liu ==
 
−
<pre>
 
−
</pre>
 
−
==Panagiotis Manolios ==
 
−
<pre>
 
−
College of Computer and Information Science
 
−
Northeastern University
 
−
360 Huntington Avenue
 
−
Boston, Massachusetts 02115 U.S.A.
 
 
</pre>
 
</pre>
  
−
==Tiziana Margaria ==
 
−
<pre>
 
−
</pre>
 
−
==Edu Metz ==
 
−
<pre>
 
−
</pre>
 
−
==Bertrand Meyer ==
 
−
<pre>
 
−
</pre>
 
−
==Jayadev Misra ==
 
−
<pre>
 
−
</pre>
 
−
==J Moore ==
 
−
<pre>
 
−
J Strother Moore
 
−
Department of Computer Sciences
 
−
Taylor Hall 2.124
 
−
University of Texas at Austin
 
−
Austin, TX 78712 USA
 
−
</pre>
 
  
−
==Peter Müller ==
 
−
<pre>
 
−
</pre>
 
−
==David A. Naumann ==
 
−
<pre>
 
−
David Naumann
 
−
Computer Science
 
−
Stevens Institute of Technology
 
−
Castle Point on Hudson
 
−
Hoboken, NJ 07030
 
−
USA
 
−
</pre>
 
  
−
==Greg Nelson ==
+
==Sanjiva Prasad ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Collin O'Halloran ==
 
−
<pre>
 
−
Colin O'Halloran
 
−
33 Geraldine Road
 
−
Malvern
 
−
Worcestershire
 
−
WR14 3NT
 
−
UK
 
 
</pre>
 
</pre>
  
−
==Peter W. O'Hearn ==
 
−
<pre>
 
−
</pre>
 
−
==Ernst-Rüdiger Olderog ==
 
−
<pre>
 
−
</pre>
 
−
==Manuel Oriol ==
 
−
<pre>
 
−
</pre>
 
−
==Wolfgang Paul ==
 
−
<pre>
 
−
</pre>
 
−
==Amir Pnueli ==
 
−
<pre>
 
−
</pre>
 
−
==Sanjiva Prasad ==
 
−
<pre>
 
−
</pre>
 
 
==Ganesan Ramalingam ==
 
==Ganesan Ramalingam ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Mike Reed ==
 
==Mike Reed ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Tom Reps ==
 
−
<pre>
 
−
Thomas Reps
 
−
Computer Sciences Department
 
−
University of Wisconsin
 
−
1210 West Dayton Street
 
−
Madison, WI 53706
 
−
USA
 
 
</pre>
 
</pre>
  
−
==Tamara Rezk ==
 
−
<pre>
 
−
</pre>
 
 
==Martin Rinard ==
 
==Martin Rinard ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Grigore Rosu ==
 
==Grigore Rosu ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Harald Ruess ==
 
==Harald Ruess ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==John Rushby ==
 
==John Rushby ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Mooly Sagiv ==
 
==Mooly Sagiv ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Author Sagiv's ==
+
 
−
<pre>
+
==Sagiv's co-author==
−
</pre>
+
−
==Peter Schmitt ==
+
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Florian Schneider ==
 
==Florian Schneider ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Wolfram Schulte ==
 
−
<pre>
 
−
Microsoft Research
 
−
One Microsoft Way
 
−
Redmond, WA 98052, USA
 
−
</pre>
 
  
−
==Natarajan Shankar ==
+
 
−
<pre>
+
 
−
</pre>
+
−
==Natasha Sharygina ==
+
−
<pre>
+
−
</pre>
+
 
==Michel Sintzoff ==
 
==Michel Sintzoff ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Douglas Smith ==
 
−
<pre>
 
−
</pre>
 
−
==Graham Steel ==
 
−
<pre>
 
−
Laboratoire Spécification et Vérification
 
−
École Normale Supérieure de Cachan
 
−
61, avenue du Président Wilson
 
−
94235 CACHAN Cedex - France
 
 
</pre>
 
</pre>
  
 
==Bernhard Steffen ==
 
==Bernhard Steffen ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Ofer Strichman ==
 
−
<pre>
 
−
Ofer Strichman
 
−
The Technion / Industrial Engineering
 
−
Haifa 32000
 
−
Israel
 
−
</pre>
 
−
 
−
==Aaron Stump ==
 
−
<pre>
 
−
Aaron Stump
 
−
Department of Computer Science
 
−
The University of Iowa
 
−
201F MacLean Hall
 
−
Iowa City, IA 52242-1419
 
−
USA
 
−
</pre>
 
−
 
−
==Carolyn Talcott ==
 
−
<pre>
 
−
SRI International
 
−
333 Ravenswood Avenue
 
−
Menlo Park, CA 94025, USA
 
 
</pre>
 
</pre>
  
 
==Cesare Tinelli ==
 
==Cesare Tinelli ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Mark Utting ==
 
−
<pre>
 
−
Mark Utting
 
−
Department of Computer Science
 
−
The University of Waikato
 
−
Private Bag 3105
 
−
Hamilton 3240
 
−
NEW ZEALAND
 
−
</pre>
 
−
 
−
==Wyk Eric  Van ==
 
−
<pre>
 
−
</pre>
 
−
==Helmut Veith ==
 
−
<pre>
 
−
</pre>
 
−
==Arnaud Venet ==
 
−
<pre>
 
−
</pre>
 
−
==Laurent Voisin ==
 
−
<pre>
 
−
M. Laurent Voisin
 
−
Systerel
 
−
Portes de l'Arbois
 
−
1090, rue René Descartes
 
−
13857 Aix-en-Provence Cedex 3
 
−
FRANCE
 
 
</pre>
 
</pre>
  
 
==Georg Weissenbacher ==
 
==Georg Weissenbacher ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Jim Woodcock ==
 
−
<pre>
 
−
Jim Woodcock
 
−
Department of Computer Science
 
−
University of York
 
−
Heslington
 
−
York  YO10 5DD
 
−
United Kingdom
 
−
</pre>
 
−
 
−
==Eran Yahav ==
 
−
<pre>
 
−
Eran Yahav
 
−
IBM T.J. Watson Research Center
 
−
19 Skyline Dr.
 
−
Hawthorne, NY 10532
 
−
USA
 
 
</pre>
 
</pre>
  
 
==Steve Zdancewic ==
 
==Steve Zdancewic ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Naijun Zhan ==
 
−
<pre>
 
−
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
 
−
</pre>
 
−
 
−
==Jian Zhang ==
 
−
<pre>
 
−
Prof. Jian Zhang
 
−
Institute of Software
 
−
Chinese Academy of Sciences
 
−
#4, South Fourth Str., Zhong Guan Cun
 
−
Beijing, 100190
 
−
P.R. China
 
 
</pre>
 
</pre>
  
 
==Juanjun Zhao ==
 
==Juanjun Zhao ==
 
<pre>
 
<pre>
 +
Jianjun Zhao
 +
School of Software
 +
Shanghai Jiao Tong University
 +
1311 Software Building, 800 Dongchuan Road
 +
Shanghai 200240, China
 
</pre>
 
</pre>

Latest revision as of 14:03, 21 October 2008

The following is the list of the addresses that we DO NOT YET HAVE for the VSTTE 2005 attendees (see here for the confirmed addresses). 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

  • You must be logged in first. Use the "Log in / Create account" link at the top-right of this page (in white over the dark blue background of the Eiffel tower picture). Use the user name and password that have been sent to you by email.
  • 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>. They 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



Ralph Back




Dines Bjorner




Willem Paul de Roever


Done



Prof. Dr. W.-P. de Roever, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Deutschland



Michael Ernst




David Gill




Helen Gill




Allan Goldberg




Masami Hagiya




Hagiya's co-author




Stefan Hallerstede




Klaus Havelund









Jifeng He


Done
Jifeng He
Software Engineering Institute
East China Normal University
3663 Zhongshan Road(North)
Shanghai,China



Andrew Ireland




Mathai Joseph




Tiziana Margaria









Edu Metz




Greg Nelson




Ernst-Rüdiger Olderog









Sanjiva Prasad




Ganesan Ramalingam




Mike Reed




Martin Rinard




Grigore Rosu




Harald Ruess




John Rushby




Mooly Sagiv




Sagiv's co-author




Florian Schneider









Michel Sintzoff




Bernhard Steffen




Cesare Tinelli




Georg Weissenbacher




Steve Zdancewic




Juanjun Zhao


Jianjun Zhao
School of Software
Shanghai Jiao Tong University
1311 Software Building, 800 Dongchuan Road
Shanghai 200240, China








Retrieved from "https://dev.eiffel.com/index.php?title=VSTTE_address_check&oldid=11714"