Difference between revisions of "VSTTE address check"

(HOW TO EDIT YOUR ENTRY)
Line 5: Line 5:
 
* Find your name in the list
 
* Find your name in the list
 
* Click "Edit". You will find yourself in Wiki edit mode.
 
* Click "Edit". You will find yourself in Wiki edit mode.
* Enter your address, starting each line with a space (so that  
+
* You will see
 +
* Enter your full postal address, starting each line with a space (so that  
  
 
Please find your name in the list, and click "Edit" to edit the entry. Make any updates to make sure that we have the proper address for mailing the proceedings volume, and add the word "CHECKED" at the end of the entry.
 
Please find your name in the list, and click "Edit" to edit the entry. Make any updates to make sure that we have the proper address for mailing the proceedings volume, and add the word "CHECKED" at the end of the entry.
Line 12: Line 13:
  
 
-- The VSTTE organization committee
 
-- The VSTTE organization committee
 +
 
==<font color="#a00000">SAMPLE ENTRY==
 
==<font color="#a00000">SAMPLE ENTRY==
 
  Bertrand Meyer
 
  Bertrand Meyer

Revision as of 17:40, 21 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 "Edit". You will find yourself in Wiki edit mode.
  • You will see
  • Enter your full postal address, starting each line with a space (so that

Please find your name in the list, and click "Edit" to edit the entry. Make any updates to make sure that we have the proper address for mailing the proceedings volume, and add the word "CHECKED" at the end of the entry.

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
CHECKED

Jean-Raymond Abrial


Rajeev Alur


Myla Archer


Ralph Back


Thomas Ball


David Basin


Yves Bertot


Ramesh Bharadwaj


Dines Bjorner


Richard Bornat


Manfred Broy


Tevfik Bultan


Michael Butler


Egon Börger


Supratik Chakraborty


Patrice Chalin


Roderick Chapman


Marsha Chechik


Alessandro Coglio


Green Cordell Cordell


Patrick Cousot


Willem Paul de Roever


Michael Ernst


David Evans


Kathi Fisler


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


Tony Hoare


Gerard Holzmann


Vincent Homeier


Andrew Ireland


Bart Jacobs


He Jifeng


Cliff Jones


Mathai Joseph


Rajeev Joshi


Gilles Kahn


Joseph Kiniry


Daniel Kröning


Patrick Lam


Butler Lampson


Gary T. Leavens


Rustan Leino


Zhiming Liu


Panagiotis Manolios


Tiziana Margaria


Edu Metz


Bertrand Meyer


Jayadev Misra


J Moore


Peter Müller


David A. Naumann


Greg Nelson


Collin O'Halloran


Peter W. O'Hearn


Ernst-Rüdiger Olderog


Manuel Oriol


Wolfgang Paul


Amir Pnueli


Sanjiva Prasad


Ganesan Ramalingam


Mike Reed


Tom Reps


Tamara Rezk


Martin Rinard


Grigore Rosu


Harald Ruess


John Rushby


Mooly Sagiv


Author Sagiv's


Peter Schmitt


Florian Schneider


Wolfram Schulte


Natarajan Shankar


Natasha Sharygina


Michel Sintzoff


Douglas Smith


Graham Steel


Bernhard Steffen


Ofer Strichman


Aaron Stump


Carolyn Talcott


Cesare Tinelli


Mark Utting


Wyk Eric Van


Helmut Veith


Arnaud Venet


Laurent Voisin


Georg Weissenbacher


Jim Woodcock


Eran Yahav


Steve Zdancewic


Naijun Zhan


Jian Zhang


Juanjun Zhao