Difference between revisions of "VSTTE checked addresses"

Revision as of 08:56, 31 July 2008 (view source) Bmeyer (Talk | contribs) (→‎Wolfgang Paul) ← Older edit		Latest revision as of 01:57, 4 August 2008 (view source) Vstte (Talk | contribs) (→‎Gary T. Leavens)
(2 intermediate revisions by the same user not shown)
Line 6:		Line 6:
	==Rajeev Alur ==		==Rajeev Alur ==
	<pre>		<pre>
−	Prof. Rajeev Alur	+
−	Department of Computer and Information Science	+
−	University of Pennsylvania	+
−	3330 Walnut Street	+
−	Philadelphia, PA 19104, USA	+
	</pre>		</pre>
	==Myla Archer ==		==Myla Archer ==
	<pre>		<pre>
−	Myla Archer	+
−	Naval Research Laboratory, Code 5546	+
−	4555 Overlook Avenue SW	+
−	Washington, DC 20375	+
−	USA	+
	</pre>		</pre>
Line 26:		Line 19:
	==Thomas Ball ==		==Thomas Ball ==
	<pre>		<pre>
−	Dr. Thomas Ball	+
−	Microsoft Research, Building 99	+
−	One Microsoft Way	+
−	Redmond, WA 98052-6399	+
−	USA	+
	</pre>		</pre>
	==David  Basin ==		==David  Basin ==
	<pre>		<pre>
−	Prof. David Basin	+
−	Department of Computer Science	+
−	ETH Zurich	+
−	8092 ETH Zentrum	+
−	Switzerland	+
	</pre>		</pre>
	==Yves Bertot ==		==Yves Bertot ==
	<pre>		<pre>
−	Yves Bertot	+
−	2004, route des lucioles	+
−	B.P. 93	+
−	06902 Sophia Antipolis Cedex	+
−	France	+
	</pre>		</pre>
	==Ramesh Bharadwaj ==		==Ramesh Bharadwaj ==
	<pre>		<pre>
−	Code 5546	+
−	Naval Research Laboratory	+
−	4555 Overlook Avenue SW	+
−	Washington DC 20375	+
−	USA	+
	</pre>		</pre>
Line 63:		Line 40:
	==Richard Bornat ==		==Richard Bornat ==
	<pre>		<pre>
−	Dr. Richard Bornat	+
−	Middlesex University	+
−	School of Computing Science	+
−	The Burroughs	+
−	LONDON	+
−	NW4 4BT	+
−	UK	+
	</pre>		</pre>
	==Manfred Broy ==		==Manfred Broy ==
	<pre>		<pre>
−	Prof. Manfred Broy	+
−	Fakultaet fuer Informatik	+
−	Technische Universitaet Muenchen	+
−	Boltzmannstr. 3	+
−	D-85748 Garching	+
−	Germany	+
	</pre>		</pre>
	==Tevfik Bultan ==		==Tevfik Bultan ==
	<pre>		<pre>
−	Tevfik Bultan	+
−	Department of Computer Science	+
−	University of California	+
−	Santa Barbara, CA 93106-5110	+
−	USA	+
	</pre>		</pre>
	==Michael Butler ==		==Michael Butler ==
	<pre>		<pre>
−	Michael Butler	+
−	Electronics and Computer Science	+
−	University of Southampton	+
−	Highfield	+
−	Southampton SO17 1BJ	+
−	United Kingdom	+
	</pre>		</pre>
	==Egon Börger ==		==Egon Börger ==
	<pre>		<pre>
−	Prof. Dr. Egon Boerger	+
−	Dipartimento di Informatica	+
−	Universita di Pisa	+
−	Largo Bruno Pontecorvo, n.3	+
−	56112 Pisa	+
−	Italy	+
	</pre>		</pre>
	==Supratik Chakraborty ==		==Supratik Chakraborty ==
	<pre>		<pre>
−	Supratik Chakraborty	+
−	Dept. of Computer Science and Engg.	+
−	I.I.T. Bombay, Powai	+
−	Mumbai 400076	+
−	Maharashtra	+
−	India	+
	</pre>		</pre>
	==Patrice Chalin ==		==Patrice Chalin ==
	<pre>		<pre>
−	Patrice Chalin	+
−	Concordia University, EV 3.215	+
−	Computer Science and Software Engineering Dept,	+
−	1455 de Maisonneuve Blvd. West,	+
−	Montreal, Quebec, Canada	+
−	H3G 1M8	+
	</pre>		</pre>
	==Roderick Chapman ==		==Roderick Chapman ==
	<pre>		<pre>
−	Roderick Chapman	+
−	Praxis High Integrity Systems	+
−	20 Manvers Street	+
−	Bath	+
−	BA1 1PX	+
−	UK	+
	</pre>		</pre>
	==Marsha Chechik ==		==Marsha Chechik ==
	<pre>		<pre>
−	Prof. Marsha Chechik	+
−	Department of Computer Science	+
−	University of Toronto	+
−	40 St. George Street, Rm. 3248	+
−	Toronto, ON M5S 2E4	+
−	Canada	+
	</pre>		</pre>
	==Alessandro Coglio ==		==Alessandro Coglio ==
	<pre>		<pre>
−	Alessandro Coglio	+
−	Kestrel Institute	+
−	3260 Hillview Avenue	+
−	Palo Alto, CA 94041	+
−	USA	+
	</pre>		</pre>
	==Patrick Cousot ==		==Patrick Cousot ==
	<pre>		<pre>
−	Patrick Cousot	+
−	Département d'Informatique	+
−	École normale supérieure	+
−	45 rue d'Ulm	+
−	75230 Paris cedex 05	+
−	France	+
	</pre>		</pre>
	==David Evans ==		==David Evans ==
	<pre>		<pre>
−	David Evans	+
−	151 Engineer's Way	+
−	Charlottesville, VA 22911	+
−	USA	+
	</pre>		</pre>
	==Kathi Fisler ==		==Kathi Fisler ==
	<pre>		<pre>
−	Kathi Fisler	+
−	WPI Department of Computer Science	+
−	100 Institute Road	+
−	Worcester, MA 01609	+
−	USA	+
	</pre>		</pre>
	==Kokichi Futatsugi ==		==Kokichi Futatsugi ==
	<pre>		<pre>
−	Kokichi FUTATSUGI	+
−	JAIST, 1-1 Asahidai	+
−	Nomi, Ishikawa 923-1292	+
−	Japan	+
	</pre>		</pre>
	==Andy Galloway ==		==Andy Galloway ==
	<pre>		<pre>
−	Andy Galloway.	+
−	Department of Computer Science,	+
−	University of York,	+
−	Heslington,	+
−	York. YO10 5DD	+
−	UK	+
	</pre>		</pre>
	==Cordell Green==		==Cordell Green==
	<pre>		<pre>
−	Cordell Green	+
−	Kestrel Institute	+
−	3260 Hillview Avenue	+
−	Palo Alto, CA 94041	+
−	USA	+
	</pre>		</pre>
	==Arie Gurfinkel ==		==Arie Gurfinkel ==
	<pre>		<pre>
−	Arie Gurfinkel	+
−	Software Engineering Institute	+
−	4500 Fifth Ave	+
−	Pittsburgh, PA, 15213-2612	+
−	USA	+
	</pre>		</pre>
	==Anthony Hall ==		==Anthony Hall ==
	<pre>		<pre>
−	Anthony Hall	+
−	22 Hayward Road	+
−	Oxford OX2 8LW	+
−	UK	+
	</pre>		</pre>
Line 235:		Line 132:
	==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>
−	Constance Heitmeyer	+
−	Code 5546	+
−	Naval Research Laboratory	+
−	Washington, DC 20375	+
−	USA	+
	</pre>		</pre>
Line 255:		Line 143:
	==Mike Hinchey ==		==Mike Hinchey ==
	<pre>		<pre>
−	Professor Mike Hinchey	+
−	Lero--the Irish Software Engineering Research Centre	+
−	International Science Centre	+
−	University of Limerick	+
−	Limerick	+
−	Ireland	+
	</pre>		</pre>
	==Thai Son Hoang ==		==Thai Son Hoang ==
	<pre>		<pre>
−	Thai Son Hoang	+
−	Chair of Information Security	+
−	IFW C48.2	+
−	Haldeneggsteig 4 / Weinbergstrasse	+
−	8092 ETH Zentrum	+
−	Zurich	+
−	Switzerland	+
	</pre>		</pre>
	==Tony Hoare ==		==Tony Hoare ==
	<pre>		<pre>
−	Prof. C.A.R. Hoare	+
−	Roger Needham Building	+
−	7 J J Thomson Ave	+
−	Cambridge CB3 0FB	+
−	UK	+
	</pre>		</pre>
	==Gerard Holzmann ==		==Gerard Holzmann ==
	<pre>		<pre>
−	Gerard J. Holzmann	+
−	NASA/JPL Laboratory for Reliable Software MS 301-230	+
−	4800 Oak Grove Drive	+
−	Pasadena, CA 91109	+
−	USA	+
	</pre>		</pre>
	== Peter Vincent Homeier ==		== Peter Vincent Homeier ==
	<pre>		<pre>
−	Peter Vincent Homeier	+
−	9800 Savage Rd.	+
−	Fort Meade, MD 20755	+
−	USA	+
	</pre>		</pre>
	==Frantz Iwu ==		==Frantz Iwu ==
	<pre>		<pre>
−	Dr Frantz Iwu	+
−	Department of Computer Science	+
−	University of York	+
−	Heslington	+
−	York  YO10 5DD	+
−	United Kingdom	+
	</pre>		</pre>
	==Bart Jacobs ==		==Bart Jacobs ==
	<pre>		<pre>
−	Prof.dr. B.P.F. Jacobs	+
−	Institute for Computing and Information Sciences (ICIS)	+
−	Radboud University Nijmegen	+
−	Heyendaalseweg 135	+
−	6525 AJ Nijmegen	+
−	The Netherlands	+
	</pre>		</pre>
Line 324:		Line 180:
	==Cliff Jones ==		==Cliff Jones ==
	<pre>		<pre>
−	Prof Cliff Jones	+
−	School of Computing Science	+
−	Newcastle University	+
−	NE1 7RU	+
−	UK	+
	</pre>		</pre>
	==Rajeev Joshi ==		==Rajeev Joshi ==
	<pre>		<pre>
−	Rajeev Joshi	+
−	4800 Oak Grove Drive, MS 301-285	+
−	Pasadena, CA 91109	+
−	USA	+
	</pre>		</pre>
	==Joseph Kiniry ==		==Joseph Kiniry ==
	<pre>		<pre>
−	Joseph Kiniry	+
−	UCD CASL	+
−	Belfield Park building #8	+
−	Dublin 4	+
−	IRELAND	+
	</pre>		</pre>
	==Daniel Kröning ==		==Daniel Kröning ==
	<pre>		<pre>
−	Prof. Daniel Kröning	+
−	ETH Zentrum RZ H14	+
−	8092 Zuerich	+
	</pre>		</pre>
	==Patrick Lam ==		==Patrick Lam ==
	<pre>		<pre>
−	Dr. Patrick Lam	+
−	Department of Electrical and Computer Engineering	+
−	200 University Avenue West	+
−	Waterloo, Ontario N2L 3G1	+
	</pre>		</pre>
	==Butler Lampson ==		==Butler Lampson ==
	<pre>		<pre>
−	Butler W. Lampson	+
−	180 Lake View Ave.	+
−	Cambridge MA 02138	+
−	USA	+
	</pre>		</pre>
	==Gary T. Leavens ==		==Gary T. Leavens ==
	<pre>		<pre>
−	Gary T. Leavens	+
−	Harris Center (Bldg. 116)	+
−	School of EECS, University of Central Florida	+
−	4000 Central Florida Blvd.	+
−	Orlando, FL 32816-2362	+
−	USA	+
	</pre>		</pre>
	==Rustan Leino ==		==Rustan Leino ==
	<pre>		<pre>
−	Microsoft Research	+
−	One Microsoft Way	+
−	Redmond, WA 98052	+
−	USA	+
	</pre>		</pre>
	==Zhiming Liu ==		==Zhiming Liu ==
	<pre>		<pre>
−	UNU-IIST	+
−	P.O. Box 3058	+
−	Macao (via Hong Kong)	+
	</pre>		</pre>
	==Panagiotis Manolios ==		==Panagiotis Manolios ==
	<pre>		<pre>
−	College of Computer and Information Science	+
−	Northeastern University	+
−	360 Huntington Avenue	+
−	Boston, Massachusetts 02115 U.S.A.	+
	</pre>		</pre>
	==John McDermid ==		==John McDermid ==
	<pre>		<pre>
−	Professor John McDermid,	+
−	Department of Computer Science,	+
−	University of York,	+
−	Heslington,	+
−	York. YO10 5DD.	+
−	UK	+
	</pre>		</pre>
Line 417:		Line 236:
	==Bertrand Meyer ==		==Bertrand Meyer ==
	<pre>		<pre>
−	(No need to ship a copy.)	+
	</pre>		</pre>
	==Jayadev Misra ==		==Jayadev Misra ==
	<pre>		<pre>
−	Jayadev Misra	+
−	Dept. of Computer Sciences, Taylor Hall	+
−	Taylor Hall 2.124	+
−	The University of Texas at Austin	+
−	Austin, Texas  78712	+
−	USA	+
	</pre>		</pre>
	==J Moore ==		==J Moore ==
	<pre>		<pre>
−	J Strother Moore	+
−	Department of Computer Sciences	+
−	Taylor Hall 2.124	+
−	University of Texas at Austin	+
−	Austin, TX 78712 USA	+
	</pre>		</pre>
	==Peter Müller ==		==Peter Müller ==
	<pre>		<pre>
−	Peter Müller	+
−	Chair of Software Engineering	+
−	ETH Zentrum, RZ J9	+
−	8092 Zürich	+
−	Switzerland	+
	</pre>		</pre>
	==David A. Naumann ==		==David A. Naumann ==
	<pre>		<pre>
−	David Naumann	+
−	Computer Science	+
−	Stevens Institute of Technology	+
−	Castle Point on Hudson	+
−	Hoboken, NJ 07030	+
−	USA	+
	</pre>		</pre>
	==Collin O'Halloran ==		==Collin O'Halloran ==
	<pre>		<pre>
−	Colin O'Halloran	+
−	33 Geraldine Road	+
−	Malvern	+
−	Worcestershire	+
−	WR14 3NT	+
−	UK	+
	</pre>		</pre>
	==Peter W. O'Hearn ==		==Peter W. O'Hearn ==
	<pre>		<pre>
−	Peter O'Hearn	+
−	Department of Computer Science	+
−	Queen Mary, University of London	+
−	London E1 4NS	+
−	United Kingdom	+
	</pre>		</pre>
Line 481:		Line 273:
	==Manuel Oriol ==		==Manuel Oriol ==
	<pre>		<pre>
−	Dr. Manuel Oriol	+
−	Chair of Software Engineering	+
−	ETH Zentrum, RZ J9	+
−	8092 Zürich	+
−	Switzerland	+
	</pre>		</pre>
	==Wolfgang Paul ==		==Wolfgang Paul ==
	<pre>		<pre>
−	Prof. Wolfgang Paul	+
−	Informatik	+
−	Universitaet des Saarlandes	+
−	66123 Saarbruecken	+
−	Germany	+
	</pre>		</pre>
	==Amir Pnueli ==		==Amir Pnueli ==
	<pre>		<pre>
−	Amir Pnueli	+
−	Computer Science Department	+
−	251 Mercer Street	+
−	New York, NY 10012	+
−	USA	+
	</pre>		</pre>
	==Tom Reps ==		==Tom Reps ==
	<pre>		<pre>
−	Thomas Reps	+
−	Computer Sciences Department	+
−	University of Wisconsin	+
−	1210 West Dayton Street	+
−	Madison, WI 53706	+
−	USA	+
	</pre>		</pre>
	==Tamara Rezk ==		==Tamara Rezk ==
	<pre>		<pre>
−	Tamara Rezk	+
−	2004, route des lucioles	+
−	B.P. 93	+
−	06902 Sophia Antipolis Cedex	+
−	France	+
	</pre>		</pre>
	==Peter Schmitt ==		==Peter Schmitt ==
	<pre>		<pre>
−	Peter H. Schmitt	+
−	Universität Karlsruhe	+
−	Institut f. Theoretische Informatik	+
−	Am Fasanengarten 5	+
−	D-76128 Karlsruhe	+
−	Germany	+
	</pre>		</pre>
	==Wolfram Schulte ==		==Wolfram Schulte ==
	<pre>		<pre>
−	Wolfram Schulte	+
−	Microsoft Research	+
−	One Microsoft Way	+
−	Redmond, WA 98052, USA	+
	</pre>		</pre>
	==Natarajan Shankar==		==Natarajan Shankar==
	<pre>		<pre>
−	Dr. Natarajan Shankar	+
−	MS EL256,	+
−	333 Ravenswood Avenue,	+
−	Menlo Park, CA, 94025-3493	+
−	USA	+
	</pre>		</pre>
	==Douglas Smith ==		==Douglas Smith ==
	<pre>		<pre>
−	Douglas R. Smith	+
−	Kestrel Institute	+
−	3260 Hillview Avenue	+
−	Palo Alto, California 94304 USA	+
	</pre>		</pre>
	==Graham Steel ==		==Graham Steel ==
	<pre>		<pre>
−	Graham Steel	+
−	Laboratoire Spécification et Vérification	+
−	École Normale Supérieure de Cachan	+
−	61, avenue du Président Wilson	+
−	94235 CACHAN Cedex - France	+
	</pre>		</pre>
	==Ofer Strichman ==		==Ofer Strichman ==
	<pre>		<pre>
−	Ofer Strichman	+
−	The Technion / Industrial Engineering	+
−	Haifa 32000	+
−	Israel	+
	</pre>		</pre>
	==Aaron Stump ==		==Aaron Stump ==
	<pre>		<pre>
−	Aaron Stump	+
−	Department of Computer Science	+
−	The University of Iowa	+
−	201F MacLean Hall	+
−	Iowa City, IA 52242-1419	+
−	USA	+
	</pre>		</pre>
	==Carolyn Talcott ==		==Carolyn Talcott ==
	<pre>		<pre>
−	Carolyn Talcott	+
−	SRI International	+
−	333 Ravenswood Avenue	+
−	Menlo Park, CA 94025, USA	+
	</pre>		</pre>
	==Mark Utting ==		==Mark Utting ==
	<pre>		<pre>
−	Mark Utting	+
−	Department of Computer Science	+
−	The University of Waikato	+
−	Private Bag 3105	+
−	Hamilton 3240	+
−	NEW ZEALAND	+
	</pre>		</pre>
	==Eric Van Wyk==		==Eric Van Wyk==
	<pre>		<pre>
−	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	+
	</pre>		</pre>
	==Helmut Veith ==		==Helmut Veith ==
	<pre>		<pre>
−	Prof. Helmut Veith	+
−	Fachgebiet FORSYTE	+
−	Fachbereich Informatik	+
−	Technische Universität Darmstadt	+
−	Hochschulstr. 10	+
−	64289 Darmstadt	+
−	Deutschland	+
	</pre>		</pre>
	==Arnaud Venet ==		==Arnaud Venet ==
	<pre>		<pre>
−	Arnaud Venet	+
−	Kestrel Technology LLC	+
−	4984 El Camino Real #230	+
−	Los Altos, CA 94022	+
−	USA	+
	</pre>		</pre>
	==Laurent Voisin ==		==Laurent Voisin ==
	<pre>		<pre>
−	M. Laurent Voisin	+
−	Systerel	+
−	Portes de l'Arbois	+
−	1090, rue René Descartes	+
−	13857 Aix-en-Provence Cedex 3	+
−	FRANCE	+
	</pre>		</pre>
	==Jim Woodcock ==		==Jim Woodcock ==
	<pre>		<pre>
−	Jim Woodcock	+
−	Department of Computer Science	+
−	University of York	+
−	Heslington	+
−	York  YO10 5DD	+
−	United Kingdom	+
	</pre>		</pre>
	==Eran Yahav ==		==Eran Yahav ==
	<pre>		<pre>
−	Eran Yahav	+
−	IBM T.J. Watson Research Center	+
−	19 Skyline Dr.	+
−	Hawthorne, NY 10532	+
−	USA	+
	</pre>		</pre>
	==Naijun Zhan ==		==Naijun Zhan ==
	<pre>		<pre>
−	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	+
	</pre>		</pre>
	==Jian Zhang ==		==Jian Zhang ==
	<pre>		<pre>
−	Prof. Jian Zhang	+
−	Institute of Software	+
−	Chinese Academy of Sciences	+
−	#4, South Fourth Str., Zhong Guan Cun	+
−	Beijing, 100190	+
−	P.R. China	+
	</pre>		</pre>

---

Latest revision as of 01:57, 4 August 2008

The following is the list of confirmed addresses for the VSTTE 2005 attendees. See here for addresses not yet known.

Rajeev Alur

Myla Archer

Thomas Ball

David Basin

Yves Bertot

Ramesh Bharadwaj

Richard Bornat

Manfred Broy

Tevfik Bultan

Michael Butler

Egon Börger

Supratik Chakraborty

Patrice Chalin

Roderick Chapman

Marsha Chechik

Alessandro Coglio

Patrick Cousot

David Evans

Kathi Fisler

Kokichi Futatsugi

Andy Galloway

Cordell Green

Arie Gurfinkel

Anthony Hall

Eric C. R. Hehner

Constance Heitmeyer

Mike Hinchey

Thai Son Hoang

Tony Hoare

Gerard Holzmann

Peter Vincent Homeier

Frantz Iwu

Bart Jacobs

Cliff Jones

Rajeev Joshi

Joseph Kiniry

Daniel Kröning

Patrick Lam

Butler Lampson

Gary T. Leavens

Rustan Leino

Zhiming Liu

Panagiotis Manolios

John McDermid

Bertrand Meyer

Jayadev Misra

J Moore

Peter Müller

David A. Naumann

Collin O'Halloran

Peter W. O'Hearn

Manuel Oriol

Wolfgang Paul

Amir Pnueli

Tom Reps

Tamara Rezk

Peter Schmitt

Wolfram Schulte

Natarajan Shankar

Douglas Smith

Graham Steel

Ofer Strichman

Aaron Stump

Carolyn Talcott

Mark Utting

Eric Van Wyk

Helmut Veith

Arnaud Venet

Laurent Voisin

Jim Woodcock

Eran Yahav

Naijun Zhan

Jian Zhang