Difference between revisions of "VSTTE address check"

(Juanjun Zhao)
 
(10 intermediate revisions by 2 users not shown)
Line 37: Line 37:
  
 
==Willem Paul de Roever ==
 
==Willem Paul de Roever ==
<pre>
+
Done
 +
<pre>Prof. Dr. W.-P. de Roever, Institut für Informatik, Christian-Albrechts-Universität zu Kiel, Christian-Albrechts-Platz 4, 24118 Kiel, Deutschland
 
</pre>
 
</pre>
 +
 
==Michael Ernst ==
 
==Michael Ernst ==
 
<pre>
 
<pre>
Line 69: Line 71:
 
==Klaus Havelund ==
 
==Klaus Havelund ==
 
<pre>
 
<pre>
</pre>
 
 
==Mike Hinchey ==
 
<pre>
 
Professor Mike Hinchey
 
Lero
 
International Science Centre
 
University of Limerick
 
Ireland
 
 
</pre>
 
</pre>
  
Line 83: Line 76:
 
==Jifeng He==
 
==Jifeng He==
 
<pre>
 
<pre>
 +
Done
 +
Jifeng He
 +
Software Engineering Institute
 +
East China Normal University
 +
3663 Zhongshan Road(North)
 +
Shanghai,China
 
</pre>
 
</pre>
 
  
 
==Andrew Ireland ==
 
==Andrew Ireland ==
Line 111: Line 109:
 
</pre>
 
</pre>
  
==Amir Pnueli ==
+
 
<pre>
+
</pre>
+
  
 
==Sanjiva Prasad ==
 
==Sanjiva Prasad ==
Line 179: Line 175:
 
==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