Difference between revisions of "VSTTE address check"
| Line 6: | Line 6: | ||
-- The VSTTE organization committee | -- The VSTTE organization committee | ||
| + | |||
| + | ==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 == | ||
Revision as of 16:30, 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.
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
Contents
- 1 Jean-Raymond Abrial
- 2 Rajeev Alur
- 3 Myla Archer
- 4 Ralph Back
- 5 Thomas Ball
- 6 David Basin
- 7 Yves Bertot
- 8 Ramesh Bharadwaj
- 9 Dines Bjorner
- 10 Richard Bornat
- 11 Manfred Broy
- 12 Tevfik Bultan
- 13 Michael Butler
- 14 Egon Börger
- 15 Supratik Chakraborty
- 16 Patrice Chalin
- 17 Roderick Chapman
- 18 Marsha Chechik
- 19 Alessandro Coglio
- 20 Green Cordell Cordell
- 21 Patrick Cousot
- 22 Michael Ernst
- 23 David Evans
- 24 Kathi Fisler
- 25 Kokichi Futatsugi
- 26 David Gill
- 27 Helen Gill
- 28 Allan Goldberg
- 29 Arie Gurfinkel
- 30 Masami Hagiya
- 31 Author Hagiya's
- 32 Anthony Hall
- 33 Stefan Hallerstede
- 34 Klaus Havelund
- 35 Eric C. R. Hehner
- 36 Constance Heitmeyer
- 37 Mike Hinchey
- 38 Thai Son Hoang
- 39 Tony Hoare
- 40 Gerard Holzmann
- 41 Vincent Homeier
- 42 Andrew Ireland
- 43 Bart Jacobs
- 44 He Jifeng
- 45 Cliff Jones
- 46 Mathai Joseph
- 47 Rajeev Joshi
- 48 Gilles Kahn
- 49 Joseph Kiniry
- 50 Daniel Kröning
- 51 Patrick Lam
- 52 Butler Lampson
- 53 Gary T. Leavens
- 54 Rustan Leino
- 55 Zhiming Liu
- 56 Panagiotis Manolios
- 57 Tiziana Margaria
- 58 Edu Metz
- 59 Bertrand Meyer
- 60 Jayadev Misra
- 61 J Moore
- 62 Peter Müller
- 63 David A. Naumann
- 64 Greg Nelson
- 65 Collin O'Halloran
- 66 Peter W. O'Hearn
- 67 Ernst-Rüdiger Olderog
- 68 Manuel Oriol
- 69 Wolfgang Paul
- 70 Amir Pnueli
- 71 Sanjiva Prasad
- 72 Ganesan Ramalingam
- 73 Mike Reed
- 74 Tom Reps
- 75 Tamara Rezk
- 76 Martin Rinard
- 77 Grigore Rosu
- 78 Harald Ruess
- 79 John Rushby
- 80 Mooly Sagiv
- 81 Author Sagiv's
- 82 Peter Schmitt
- 83 Florian Schneider
- 84 Wolfram Schulte
- 85 Natarajan Shankar
- 86 Natasha Sharygina
- 87 Michel Sintzoff
- 88 Douglas Smith
- 89 Graham Steel
- 90 Bernhard Steffen
- 91 Ofer Strichman
- 92 Aaron Stump
- 93 Carolyn Talcott
- 94 Cesare Tinelli
- 95 Mark Utting
- 96 Wyk Eric Van
- 97 Helmut Veith
- 98 Arnaud Venet
- 99 Laurent Voisin
- 100 Georg Weissenbacher
- 101 Jim Woodcock
- 102 Eran Yahav
- 103 Steve Zdancewic
- 104 Naijun Zhan
- 105 Jian Zhang
- 106 Juanjun Zhao
- 107 Willem Paul de Roever
