Difference between revisions of "VSTTE address check"

(Kathi Fisler)
(Thai Son Hoang)
Line 199: Line 199:
 
==Thai Son Hoang ==
 
==Thai Son Hoang ==
 
<pre>
 
<pre>
 +
Chair of Information Security
 +
IFW C48.2
 +
Haldeneggsteig 4 / Weinbergstrasse
 +
8092 ETH Zentrum
 +
Zurich
 +
Switzerland
 
</pre>
 
</pre>
 +
 
==Tony Hoare ==
 
==Tony Hoare ==
 
<pre>
 
<pre>

Revision as of 03:42, 22 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 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>. 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

Yves Bertot
2004, route des lucioles
B.P. 93
06902 Sophia Antipolis Cedex
France

Ramesh Bharadwaj


Dines Bjorner


Richard Bornat


Manfred Broy


Tevfik Bultan

Tevfik Bultan
Department of Computer Science 
University of California 
Santa Barbara, CA 93106-5110
USA

Michael Butler

Michael Butler
Electronics and Computer Science
University of Southampton
Highfield
Southampton SO17 1BJ
United Kingdom

Egon Börger


Supratik Chakraborty

Supratik Chakraborty
Dept. of Computer Science and Engg.
I.I.T. Bombay, Powai
Mumbai 400076
Maharashtra
India

Patrice Chalin


Roderick Chapman

Praxis High Integrity Systems
20 Manvers Street
Bath
BA1 1PX
UK

Marsha Chechik

Department of Computer Science
University of Toronto
40 St. George Street, Rm. 3248
Toronto, ON M5S 2E4
Canada

Alessandro Coglio

Kestrel Institute
3260 Hillview Avenue
Palo Alto, CA 94041
USA

Green Cordell

Kestrel Institute
3260 Hillview Avenue
Palo Alto, CA 94041
USA

Patrick Cousot

Patrick Cousot
Département d'Informatique
École normale supérieure
45 rue d'Ulm
75230 Paris cedex 05 (France)

Willem Paul de Roever


Michael Ernst


David Evans


Kathi Fisler

Kathi Fisler
WPI Department of Computer Science
100 Institute Road
Worcester, MA 01609
USA

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

Chair of Information Security
IFW C48.2
Haldeneggsteig 4 / Weinbergstrasse
8092 ETH Zentrum
Zurich
Switzerland

Tony Hoare


Gerard Holzmann


Vincent Homeier


Andrew Ireland


Bart Jacobs

Prof.dr. B.P.F. Jacobs
Institute for Computing and Information Sciences (ICIS)
Radboud University Nijmegen
Heyendaalseweg 135
6525 AJ Nijmegen
The Netherlands 

He Jifeng


Cliff Jones

Prof Cliff Jones
School of Computing Science
Newcastle University
NE1 7RU
UK

Mathai Joseph


Rajeev Joshi

Rajeev Joshi
4800 Oak Grove Drive, MS 301-285
Pasadena, CA 91109
USA

Joseph Kiniry


Daniel Kröning

ETH Zentrum RZ H14
8092 Zuerich

Patrick Lam


Butler Lampson


Gary T. Leavens

Gary T. Leavens
Harris Center (Bldg. 116)
School of EECS, University of Central Florida
4000 Central Florida Blvd.
 Orlando, FL 32816-2362 
USA

Rustan Leino


Zhiming Liu


Panagiotis Manolios

College of Computer and Information Science
Northeastern University
360 Huntington Avenue
Boston, Massachusetts 02115 U.S.A.

Tiziana Margaria


Edu Metz


Bertrand Meyer


Jayadev Misra


J Moore

J Strother Moore
Department of Computer Sciences
Taylor Hall 2.124
University of Texas at Austin
Austin, TX 78712 USA

Peter Müller


David A. Naumann

David Naumann
Computer Science
Stevens Institute of Technology
Castle Point on Hudson
Hoboken, NJ 07030 
USA

Greg Nelson


Collin O'Halloran

Colin O'Halloran
33 Geraldine Road
Malvern
Worcestershire
WR14 3NT
UK

Peter W. O'Hearn


Ernst-Rüdiger Olderog


Manuel Oriol


Wolfgang Paul


Amir Pnueli


Sanjiva Prasad


Ganesan Ramalingam


Mike Reed


Tom Reps

Thomas Reps
Computer Sciences Department
University of Wisconsin
1210 West Dayton Street
Madison, WI 53706
USA

Tamara Rezk


Martin Rinard


Grigore Rosu


Harald Ruess


John Rushby


Mooly Sagiv


Author Sagiv's


Peter Schmitt


Florian Schneider


Wolfram Schulte

Microsoft Research
One Microsoft Way
Redmond, WA 98052, USA

Natarajan Shankar


Natasha Sharygina


Michel Sintzoff


Douglas Smith


Graham Steel


Bernhard Steffen


Ofer Strichman

Ofer Strichman
The Technion / Industrial Engineering
Haifa 32000
Israel

Aaron Stump


Carolyn Talcott


Cesare Tinelli


Mark Utting

Mark Utting
Department of Computer Science
The University of Waikato
Private Bag 3105
Hamilton 3240
NEW ZEALAND

Wyk Eric Van


Helmut Veith


Arnaud Venet


Laurent Voisin

M. Laurent Voisin
Systerel
Portes de l'Arbois
1090, rue René Descartes
13857 Aix-en-Provence Cedex 3
FRANCE

Georg Weissenbacher


Jim Woodcock


Eran Yahav

Eran Yahav
IBM T.J. Watson Research Center
19 Skyline Dr.
Hawthorne, NY 10532
USA

Steve Zdancewic


Naijun Zhan

Naijun Zhan
Lab. of Computer Science
Institute of Software
Chinese Academy of Sciences
#4, South Fourth Str., Zhong Guan Cun
Beijing, 100190
P.R. China

Jian Zhang

Prof. Jian Zhang
Institute of Software
Chinese Academy of Sciences
#4, South Fourth Str., Zhong Guan Cun
Beijing, 100190
P.R. China

Juanjun Zhao