VSTTE address check

Revision as of 16:44, 21 July 2008 by Vstte (Talk | contribs) (<font color="#a00000">SAMPLE ENTRY)

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 the "Edit" mark to the right of your name.
  • You will find yourself in Wiki edit mode. You will see two lines of the form <pre> and </pre>. These 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


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