Difference between revisions of "VSTTE address check"

(→‎David A. Naumann)
(→‎Juanjun Zhao)
 
(122 intermediate revisions by 6 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>
 
</pre>
−
==Thomas Ball ==
+
 
−
<pre>
+
−
</pre>
+
−
==David  Basin ==
+
−
<pre>
+
−
</pre>
+
−
==Yves Bertot ==
+
−
<pre>
+
−
</pre>
+
−
==Ramesh Bharadwaj ==
+
−
<pre>
+
−
</pre>
+
 
==Dines Bjorner ==
 
==Dines Bjorner ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Richard Bornat ==
 
−
<pre>
 
−
</pre>
 
−
==Manfred Broy ==
 
−
<pre>
 
−
</pre>
 
−
==Tevfik Bultan ==
 
−
<pre>
 
−
</pre>
 
−
==Michael Butler ==
 
−
<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>
 
</pre>
  
−
==Patrice Chalin ==
+
==Willem Paul de Roever ==
−
<pre>
+
Done
−
</pre>
+
<pre>Prof. Dr. W.-P. de Roever, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Deutschland
−
==Roderick Chapman ==
+
−
<pre>
+
−
</pre>
+
−
==Marsha Chechik ==
+
−
<pre>
+
−
Department of Computer Science
+
−
University of Toronto
+
−
40 St. George Street, Rm. 3248
+
−
Toronto, ON M5S 2E4
+
−
Canada
+
 
</pre>
 
</pre>
  
−
==Alessandro Coglio ==
 
−
<pre>
 
−
</pre>
 
−
==Green Cordell Cordell ==
 
−
<pre>
 
−
</pre>
 
−
==Patrick Cousot ==
 
−
<pre>
 
−
</pre>
 
−
==Willem Paul de Roever ==
 
−
<pre>
 
−
</pre>
 
 
==Michael Ernst ==
 
==Michael Ernst ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==David Evans ==
+
 
−
<pre>
+
−
</pre>
+
−
==Kathi Fisler ==
+
−
<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>
 
</pre>
−
==Arie Gurfinkel ==
+
 
−
<pre>
+
−
</pre>
+
 
==Masami Hagiya ==
 
==Masami Hagiya ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Author Hagiya's ==
+
 
−
<pre>
+
==Hagiya's co-author==
−
</pre>
+
−
==Anthony Hall ==
+
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Stefan Hallerstede ==
 
==Stefan Hallerstede ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Klaus Havelund ==
 
==Klaus Havelund ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Eric C. R. Hehner ==
+
 
−
<pre>
+
 
−
</pre>
+
==Jifeng He==
−
==Constance Heitmeyer ==
+
−
<pre>
+
−
</pre>
+
−
==Mike Hinchey ==
+
−
<pre>
+
−
</pre>
+
−
==Thai Son Hoang ==
+
−
<pre>
+
−
</pre>
+
−
==Tony Hoare ==
+
−
<pre>
+
−
</pre>
+
−
==Gerard Holzmann ==
+
−
<pre>
+
−
</pre>
+
−
==Vincent Homeier ==
+
 
<pre>
 
<pre>
 +
Done
 +
Jifeng He
 +
Software Engineering Institute
 +
East China Normal University
 +
3663 Zhongshan Road(North)
 +
Shanghai,China
 
</pre>
 
</pre>
 +
 
==Andrew Ireland ==
 
==Andrew Ireland ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Bart Jacobs ==
+
 
−
<pre>
+
−
</pre>
+
−
==He Jifeng ==
+
−
<pre>
+
−
</pre>
+
−
==Cliff Jones ==
+
−
<pre>
+
−
</pre>
+
 
==Mathai Joseph ==
 
==Mathai Joseph ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Rajeev Joshi ==
+
 
 +
==Tiziana Margaria ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
  
  
−
==Joseph Kiniry ==
 
−
<pre>
 
−
</pre>
 
−
==Daniel Kröning ==
 
−
<pre>
 
−
</pre>
 
−
==Patrick Lam ==
 
−
<pre>
 
−
</pre>
 
−
==Butler Lampson ==
 
−
<pre>
 
−
</pre>
 
−
==Gary T. Leavens ==
 
−
<pre>
 
−
</pre>
 
−
==Rustan Leino ==
 
−
<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>
 
−
 
−
==Tiziana Margaria ==
 
−
<pre>
 
−
</pre>
 
 
==Edu Metz ==
 
==Edu Metz ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Bertrand Meyer ==
 
−
<pre>
 
−
</pre>
 
−
==Jayadev Misra ==
 
−
<pre>
 
−
</pre>
 
−
==J Moore ==
 
−
<pre>
 
−
</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>
 
</pre>
  
Line 242: Line 104:
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Collin O'Halloran ==
+
 
−
<pre>
+
−
</pre>
+
−
==Peter W. O'Hearn ==
+
−
<pre>
+
−
</pre>
+
 
==Ernst-Rüdiger Olderog ==
 
==Ernst-Rüdiger Olderog ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Manuel Oriol ==
+
 
−
<pre>
+
 
−
</pre>
+
 
−
==Wolfgang Paul ==
+
−
<pre>
+
−
</pre>
+
−
==Amir Pnueli ==
+
−
<pre>
+
−
</pre>
+
 
==Sanjiva Prasad ==
 
==Sanjiva Prasad ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Ganesan Ramalingam ==
 
==Ganesan Ramalingam ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
 +
 
==Mike Reed ==
 
==Mike Reed ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Tom Reps ==
+
 
−
<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>
+
 
−
</pre>
+
 
−
==Natarajan Shankar ==
+
−
<pre>
+
−
</pre>
+
−
==Natasha Sharygina ==
+
−
<pre>
+
−
</pre>
+
 
==Michel Sintzoff ==
 
==Michel Sintzoff ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Douglas Smith ==
+
 
−
<pre>
+
−
</pre>
+
−
==Graham Steel ==
+
−
<pre>
+
−
</pre>
+
 
==Bernhard Steffen ==
 
==Bernhard Steffen ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Ofer Strichman ==
+
 
−
<pre>
+
−
</pre>
+
−
==Aaron Stump ==
+
−
<pre>
+
−
</pre>
+
−
==Carolyn Talcott ==
+
−
<pre>
+
−
</pre>
+
 
==Cesare Tinelli ==
 
==Cesare Tinelli ==
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
==Mark Utting ==
+
 
−
<pre>
+
−
</pre>
+
−
==Wyk Eric  Van ==
+
−
<pre>
+
−
</pre>
+
−
==Helmut Veith ==
+
−
<pre>
+
−
</pre>
+
−
==Arnaud Venet ==
+
−
<pre>
+
−
</pre>
+
−
==Laurent Voisin ==
+
−
<pre>
+
−
</pre>
+
 
==Georg Weissenbacher ==
 
==Georg Weissenbacher ==
 
<pre>
 
<pre>
−
</pre>
 
−
==Jim Woodcock ==
 
−
<pre>
 
−
</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>
 
−
Dr. Naijun Zhan
 
−
Lab. of Computer Science
 
−
Institute of Software
 
−
Chinese Academy of Sciences
 
−
#4, South Fourth Str., Zhong Guan Cun
 
−
Haidian District, Beijing
 
−
100190
 
−
P.R. China
 
 
</pre>
 
</pre>
  
−
==Jian Zhang ==
 
−
<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 05: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"