Difference between revisions of "VSTTE address check"

(Patrick Cousot)
(Eric C. R. Hehner)
Line 249: Line 249:
 
==Eric C. R. Hehner ==
 
==Eric C. R. Hehner ==
 
<pre>
 
<pre>
 +
Eric Hehner
 +
Department of Computer Science
 +
University of Toronto
 +
40 St.George St.
 +
Toronto ON M5S 2E4
 +
Canada
 
</pre>
 
</pre>
 +
 
==Constance Heitmeyer ==
 
==Constance Heitmeyer ==
 
<pre>
 
<pre>

Revision as of 12:55, 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

  • You must be logged in first. Use the "Log in / Create account" link at the top-right of this page (in white over the dark blue background of the Eiffel tower picture). Use the user name and password that have been sent to you by email.
  • 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>. They 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

Dr. Richard Bornat
Middlesex University
School of Computing Science
The Burroughs
LONDON
NW4 4BT
UK

Manfred Broy

Prof. Manfred Broy
Fakultaet fuer Informatik
Technische Universitaet Muenchen
Boltzmannstr. 3
D-85748 Garching
Germany

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

Prof. Dr. Egon Boerger
Dipartimento di Informatica  
Universita di Pisa           
Largo Bruno Pontecorvo, n.3
56112 Pisa
Italy       

Supratik Chakraborty

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

Patrice Chalin

Patrice Chalin
Concordia University, EV 3.215
Computer Science and Software Engineering Dept,
1455 de Maisonneuve Blvd. West,
Montreal, Quebec, Canada
H3G 1M8

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

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


Andy Galloway


David Gill


Helen Gill


Allan Goldberg


Cordell Green

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

Eric Hehner
Department of Computer Science
University of Toronto
40 St.George St.
Toronto ON M5S 2E4
Canada

Constance Heitmeyer

Constance Heitmeyer
Code 5546
Naval Research Laboratory
Washington, DC 20375
USA

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


Frantz Iwu

Dr Frantz Iwu
Department of Computer Science
University of York
Heslington
York  YO10 5DD
United Kingdom

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

Prof. Daniel Kröning
ETH Zentrum RZ H14
8092 Zuerich

Patrick Lam

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


John McDermid


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

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

Wolfram Schulte
Microsoft Research
One Microsoft Way
Redmond, WA 98052, USA

Natarajan Shankar


Natasha Sharygina


Michel Sintzoff


Douglas Smith


Graham Steel

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

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

Eric Van Wyk

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