VSTTE address check

Revision as of 16:34, 21 July 2008 by Vstte (Talk | contribs) (<font color="#a00000">SAMPLE ENTRY)

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.

Please find your name in the list, and click "Edit" to edit the entry. Make any updates to make sure that we have the proper address for mailing the proceedings volume, and add the word "CHECKED" at the end of the entry.

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

Ramesh Bharadwaj

Dines Bjorner

Richard Bornat

Manfred Broy

Tevfik Bultan

Michael Butler

Egon Börger

Supratik Chakraborty

Patrice Chalin

Roderick Chapman

Marsha Chechik

Alessandro Coglio

Green Cordell Cordell

Patrick Cousot

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

Mathai Joseph

Rajeev Joshi

Gilles Kahn

Joseph Kiniry

Daniel Kröning

Patrick Lam

Butler Lampson

Gary T. Leavens

Rustan Leino

Zhiming Liu

Panagiotis Manolios

Tiziana Margaria

Edu Metz

Bertrand Meyer

Jayadev Misra

J Moore

Peter Müller

David A. Naumann

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

Tamara Rezk

Martin Rinard

Grigore Rosu

Harald Ruess

John Rushby

Mooly Sagiv

Author Sagiv's

Peter Schmitt

Florian Schneider

Wolfram Schulte

Natarajan Shankar

Natasha Sharygina

Michel Sintzoff

Douglas Smith

Graham Steel

Bernhard Steffen

Ofer Strichman

Aaron Stump

Carolyn Talcott

Cesare Tinelli

Mark Utting

Wyk Eric Van

Helmut Veith

Arnaud Venet

Laurent Voisin

Georg Weissenbacher

Jim Woodcock

Eran Yahav

Steve Zdancewic

Naijun Zhan

Jian Zhang

Juanjun Zhao

Willem Paul de Roever