Difference between revisions of "VSTTE address check"

Revision as of 09:50, 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

Prof. David Basin
Department of Computer Science
ETH Zurich
8092 ETH Zentrum
Switzerland

Yves Bertot

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

Ramesh Bharadwaj

Dines Bjorner

Richard Bornat

Middlesex University
School of Computing Science
The Burroughs
LONDON
NW4 4BT
UK

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

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

Marsha Chechik

Prof. 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

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

Cordell Green

Kestrel Institute
3260 Hillview Avenue
Palo Alto, CA 94041
USA

Arie Gurfinkel

Arie Gurfinkel
Software Engineering Institute
4500 Fifth Ave
Pittsburgh, PA, 15213-2612
USA

Masami Hagiya

Author Hagiya's

Anthony Hall

Anthony Hall
22 Hayward Road
Oxford OX2 8LW
UK

Stefan Hallerstede

Klaus Havelund

Eric C. R. Hehner

Constance Heitmeyer

Mike Hinchey

Thai Son Hoang

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

Tony Hoare

Gerard Holzmann

Gerard J. Holzmann
NASA/JPL Laboratory for Reliable Software MS 301-230
4800 Oak Grove Drive
Pasadena, CA 91109
USA

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

Joseph Kiniry
UCD CASL
Belfield Park building #8
Dublin 4
IRELAND

Daniel Kröning

ETH Zentrum RZ H14
8092 Zuerich

Patrick Lam

Department of Electrical and Computer Engineering
200 University Avenue West
Waterloo, Ontario N2L 3G1

Butler Lampson

Butler W. Lampson 
180 Lake View Ave.
Cambridge MA 02138
USA

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

Peter O'Hearn
Department of Computer Science
Queen Mary, University of London
London E1 4NS
United Kingdom

Ernst-Rüdiger Olderog

Manuel Oriol

Chair of Software Engineering
ETH Zentrum, RZ J9
8092 Zürich
Switzerland

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

Laboratoire Spécification et Vérification
École Normale Supérieure de Cachan
61, avenue du Président Wilson
94235 CACHAN Cedex - France 

Bernhard Steffen

Ofer Strichman

Ofer Strichman
The Technion / Industrial Engineering
Haifa 32000
Israel

Aaron Stump

Aaron Stump
Department of Computer Science
The University of Iowa
201F MacLean Hall
Iowa City, IA 52242-1419
USA

Carolyn Talcott

SRI International
333 Ravenswood Avenue
Menlo Park, CA 94025, USA

Cesare Tinelli

Mark Utting

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

Van Wyk Eric

Eric Van Wyk
4-192 EE/CSci Building
Dept. of Computer Science and Engineering
University of Minnesota
200 Union St. SE
Minneapolis, MN 55455
USA

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

Jim Woodcock
Department of Computer Science
University of York
Heslington
York  YO10 5DD
United Kingdom

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