Difference between revisions of "VSTTE address check"
(→Tamara Rezk) |
(→Juanjun Zhao) |
||
| (38 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
__NOTOC__ | __NOTOC__ | ||
| − | The following is the list of the addresses that we | + | 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== | ||
| Line 26: | Line 26: | ||
==Jean-Raymond Abrial == | ==Jean-Raymond Abrial == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
==Ralph Back == | ==Ralph Back == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
==Dines Bjorner == | ==Dines Bjorner == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
| − | == | + | ==Willem Paul de Roever == |
| − | <pre> | + | Done |
| − | Prof. | + | <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> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
| Line 227: | Line 52: | ||
<pre> | <pre> | ||
</pre> | </pre> | ||
| + | |||
==Allan Goldberg == | ==Allan Goldberg == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
==Masami Hagiya == | ==Masami Hagiya == | ||
| − | |||
| − | |||
| − | |||
<pre> | <pre> | ||
</pre> | </pre> | ||
| − | == | + | ==Hagiya's co-author== |
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
| Line 266: | Line 68: | ||
<pre> | <pre> | ||
</pre> | </pre> | ||
| + | |||
==Klaus Havelund == | ==Klaus Havelund == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | == | + | ==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 == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
==Mathai Joseph == | ==Mathai Joseph == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
| Line 424: | Line 96: | ||
</pre> | </pre> | ||
| − | |||
| − | |||
| − | |||
==Edu Metz == | ==Edu Metz == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
==Greg Nelson == | ==Greg Nelson == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
| Line 484: | Line 108: | ||
<pre> | <pre> | ||
</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> | ||
| − | == | + | ==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> | ||
| − | == | + | |
| − | + | ==Sagiv's co-author== | |
| − | + | ||
| − | + | ||
<pre> | <pre> | ||
</pre> | </pre> | ||
| + | |||
==Florian Schneider == | ==Florian Schneider == | ||
<pre> | <pre> | ||
</pre> | </pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
==Michel Sintzoff == | ==Michel Sintzoff == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
==Bernhard Steffen == | ==Bernhard Steffen == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
==Cesare Tinelli == | ==Cesare Tinelli == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
==Georg Weissenbacher == | ==Georg Weissenbacher == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</pre> | </pre> | ||
==Steve Zdancewic == | ==Steve Zdancewic == | ||
<pre> | <pre> | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</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
