Difference between revisions of "VSTTE address check"

Revision as of 22:24, 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 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

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

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

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

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

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

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

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