Difference between revisions of "VSTTE address check"

(→‎Jean-Raymond Abrial)
Line 25: Line 25:
 
<pre>
 
<pre>
 
</pre>
 
</pre>
−
 
 
==Rajeev Alur ==
 
==Rajeev Alur ==
 +
<pre>
 +
</pre>
 
==Myla Archer ==
 
==Myla Archer ==
 +
<pre>
 +
</pre>
 
==Ralph Back ==
 
==Ralph Back ==
 +
<pre>
 +
</pre>
 
==Thomas Ball ==
 
==Thomas Ball ==
 +
<pre>
 +
</pre>
 
==David  Basin ==
 
==David  Basin ==
 +
<pre>
 +
</pre>
 
==Yves Bertot ==
 
==Yves Bertot ==
 +
<pre>
 +
</pre>
 
==Ramesh Bharadwaj ==
 
==Ramesh Bharadwaj ==
 +
<pre>
 +
</pre>
 
==Dines Bjorner ==
 
==Dines Bjorner ==
 +
<pre>
 +
</pre>
 
==Richard Bornat ==
 
==Richard Bornat ==
 +
<pre>
 +
</pre>
 
==Manfred Broy ==
 
==Manfred Broy ==
 +
<pre>
 +
</pre>
 
==Tevfik Bultan ==
 
==Tevfik Bultan ==
 +
<pre>
 +
</pre>
 
==Michael Butler ==
 
==Michael Butler ==
 +
<pre>
 +
</pre>
 
==Egon Börger ==
 
==Egon Börger ==
 +
<pre>
 +
</pre>
 
==Supratik Chakraborty ==
 
==Supratik Chakraborty ==
 +
<pre>
 +
</pre>
 
==Patrice Chalin ==
 
==Patrice Chalin ==
 +
<pre>
 +
</pre>
 
==Roderick Chapman ==
 
==Roderick Chapman ==
 +
<pre>
 +
</pre>
 
==Marsha Chechik ==
 
==Marsha Chechik ==
 +
<pre>
 +
</pre>
 
==Alessandro Coglio ==
 
==Alessandro Coglio ==
 +
<pre>
 +
</pre>
 
==Green Cordell Cordell ==
 
==Green Cordell Cordell ==
 +
<pre>
 +
</pre>
 
==Patrick Cousot ==
 
==Patrick Cousot ==
 +
<pre>
 +
</pre>
 +
==Willem Paul de Roever ==
 +
<pre>
 +
</pre>
 
==Michael Ernst ==
 
==Michael Ernst ==
 +
<pre>
 +
</pre>
 
==David Evans ==
 
==David Evans ==
 +
<pre>
 +
</pre>
 
==Kathi Fisler ==
 
==Kathi Fisler ==
 +
<pre>
 +
</pre>
 
==Kokichi Futatsugi ==
 
==Kokichi Futatsugi ==
 +
<pre>
 +
</pre>
 
==David Gill ==
 
==David Gill ==
 +
<pre>
 +
</pre>
 
==Helen Gill ==
 
==Helen Gill ==
 +
<pre>
 +
</pre>
 
==Allan Goldberg ==
 
==Allan Goldberg ==
 +
<pre>
 +
</pre>
 
==Arie Gurfinkel ==
 
==Arie Gurfinkel ==
 +
<pre>
 +
</pre>
 
==Masami Hagiya ==
 
==Masami Hagiya ==
 +
<pre>
 +
</pre>
 
==Author Hagiya's ==
 
==Author Hagiya's ==
 +
<pre>
 +
</pre>
 
==Anthony Hall ==
 
==Anthony Hall ==
 +
<pre>
 +
</pre>
 
==Stefan Hallerstede ==
 
==Stefan Hallerstede ==
 +
<pre>
 +
</pre>
 
==Klaus Havelund ==
 
==Klaus Havelund ==
 +
<pre>
 +
</pre>
 
==Eric C. R. Hehner ==
 
==Eric C. R. Hehner ==
 +
<pre>
 +
</pre>
 
==Constance Heitmeyer ==
 
==Constance Heitmeyer ==
 +
<pre>
 +
</pre>
 
==Mike Hinchey ==
 
==Mike Hinchey ==
 +
<pre>
 +
</pre>
 
==Thai Son Hoang ==
 
==Thai Son Hoang ==
 +
<pre>
 +
</pre>
 
==Tony Hoare ==
 
==Tony Hoare ==
 +
<pre>
 +
</pre>
 
==Gerard Holzmann ==
 
==Gerard Holzmann ==
 +
<pre>
 +
</pre>
 
==Vincent Homeier ==
 
==Vincent Homeier ==
 +
<pre>
 +
</pre>
 
==Andrew Ireland ==
 
==Andrew Ireland ==
 +
<pre>
 +
</pre>
 
==Bart Jacobs ==
 
==Bart Jacobs ==
 +
<pre>
 +
</pre>
 
==He Jifeng ==
 
==He Jifeng ==
 +
<pre>
 +
</pre>
 
==Cliff Jones ==
 
==Cliff Jones ==
 +
<pre>
 +
</pre>
 
==Mathai Joseph ==
 
==Mathai Joseph ==
 +
<pre>
 +
</pre>
 
==Rajeev Joshi ==
 
==Rajeev Joshi ==
 +
<pre>
 +
</pre>
 
==Gilles Kahn ==
 
==Gilles Kahn ==
 +
<pre>
 +
</pre>
 
==Joseph Kiniry ==
 
==Joseph Kiniry ==
 +
<pre>
 +
</pre>
 
==Daniel Kröning ==
 
==Daniel Kröning ==
 +
<pre>
 +
</pre>
 
==Patrick Lam ==
 
==Patrick Lam ==
 +
<pre>
 +
</pre>
 
==Butler Lampson ==
 
==Butler Lampson ==
 +
<pre>
 +
</pre>
 
==Gary T. Leavens ==
 
==Gary T. Leavens ==
 +
<pre>
 +
</pre>
 
==Rustan Leino ==
 
==Rustan Leino ==
 +
<pre>
 +
</pre>
 
==Zhiming Liu ==
 
==Zhiming Liu ==
 +
<pre>
 +
</pre>
 
==Panagiotis Manolios ==
 
==Panagiotis Manolios ==
 +
<pre>
 +
</pre>
 
==Tiziana Margaria ==
 
==Tiziana Margaria ==
 +
<pre>
 +
</pre>
 
==Edu Metz ==
 
==Edu Metz ==
 +
<pre>
 +
</pre>
 
==Bertrand Meyer ==
 
==Bertrand Meyer ==
 +
<pre>
 +
</pre>
 
==Jayadev Misra ==
 
==Jayadev Misra ==
 +
<pre>
 +
</pre>
 
==J Moore ==
 
==J Moore ==
 +
<pre>
 +
</pre>
 
==Peter Müller ==
 
==Peter Müller ==
 +
<pre>
 +
</pre>
 
==David A. Naumann ==
 
==David A. Naumann ==
 +
<pre>
 +
</pre>
 
==Greg Nelson ==
 
==Greg Nelson ==
 +
<pre>
 +
</pre>
 
==Collin O'Halloran ==
 
==Collin O'Halloran ==
 +
<pre>
 +
</pre>
 
==Peter W. O'Hearn ==
 
==Peter W. O'Hearn ==
 +
<pre>
 +
</pre>
 
==Ernst-Rüdiger Olderog ==
 
==Ernst-Rüdiger Olderog ==
 +
<pre>
 +
</pre>
 
==Manuel Oriol ==
 
==Manuel Oriol ==
 +
<pre>
 +
</pre>
 
==Wolfgang Paul ==
 
==Wolfgang Paul ==
 +
<pre>
 +
</pre>
 
==Amir Pnueli ==
 
==Amir Pnueli ==
 +
<pre>
 +
</pre>
 
==Sanjiva Prasad ==
 
==Sanjiva Prasad ==
 +
<pre>
 +
</pre>
 
==Ganesan Ramalingam ==
 
==Ganesan Ramalingam ==
 +
<pre>
 +
</pre>
 
==Mike Reed ==
 
==Mike Reed ==
 +
<pre>
 +
</pre>
 
==Tom Reps ==
 
==Tom Reps ==
 +
<pre>
 +
</pre>
 
==Tamara Rezk ==
 
==Tamara Rezk ==
 +
<pre>
 +
</pre>
 
==Martin Rinard ==
 
==Martin Rinard ==
 +
<pre>
 +
</pre>
 
==Grigore Rosu ==
 
==Grigore Rosu ==
 +
<pre>
 +
</pre>
 
==Harald Ruess ==
 
==Harald Ruess ==
 +
<pre>
 +
</pre>
 
==John Rushby ==
 
==John Rushby ==
 +
<pre>
 +
</pre>
 
==Mooly Sagiv ==
 
==Mooly Sagiv ==
 +
<pre>
 +
</pre>
 
==Author Sagiv's ==
 
==Author Sagiv's ==
 +
<pre>
 +
</pre>
 
==Peter Schmitt ==
 
==Peter Schmitt ==
 +
<pre>
 +
</pre>
 
==Florian Schneider ==
 
==Florian Schneider ==
 +
<pre>
 +
</pre>
 
==Wolfram Schulte ==
 
==Wolfram Schulte ==
 +
<pre>
 +
</pre>
 
==Natarajan Shankar ==
 
==Natarajan Shankar ==
 +
<pre>
 +
</pre>
 
==Natasha Sharygina ==
 
==Natasha Sharygina ==
 +
<pre>
 +
</pre>
 
==Michel Sintzoff ==
 
==Michel Sintzoff ==
 +
<pre>
 +
</pre>
 
==Douglas Smith ==
 
==Douglas Smith ==
 +
<pre>
 +
</pre>
 
==Graham Steel ==
 
==Graham Steel ==
 +
<pre>
 +
</pre>
 
==Bernhard Steffen ==
 
==Bernhard Steffen ==
 +
<pre>
 +
</pre>
 
==Ofer Strichman ==
 
==Ofer Strichman ==
 +
<pre>
 +
</pre>
 
==Aaron Stump ==
 
==Aaron Stump ==
 +
<pre>
 +
</pre>
 
==Carolyn Talcott ==
 
==Carolyn Talcott ==
 +
<pre>
 +
</pre>
 
==Cesare Tinelli ==
 
==Cesare Tinelli ==
 +
<pre>
 +
</pre>
 
==Mark Utting ==
 
==Mark Utting ==
 +
<pre>
 +
</pre>
 
==Wyk Eric  Van ==
 
==Wyk Eric  Van ==
 +
<pre>
 +
</pre>
 
==Helmut Veith ==
 
==Helmut Veith ==
 +
<pre>
 +
</pre>
 
==Arnaud Venet ==
 
==Arnaud Venet ==
 +
<pre>
 +
</pre>
 
==Laurent Voisin ==
 
==Laurent Voisin ==
 +
<pre>
 +
</pre>
 
==Georg Weissenbacher ==
 
==Georg Weissenbacher ==
 +
<pre>
 +
</pre>
 
==Jim Woodcock ==
 
==Jim Woodcock ==
 +
<pre>
 +
</pre>
 
==Eran Yahav ==
 
==Eran Yahav ==
 +
<pre>
 +
</pre>
 
==Steve Zdancewic ==
 
==Steve Zdancewic ==
 +
<pre>
 +
</pre>
 
==Naijun Zhan ==
 
==Naijun Zhan ==
 +
<pre>
 +
</pre>
 
==Jian Zhang ==
 
==Jian Zhang ==
 +
<pre>
 +
</pre>
 
==Juanjun Zhao ==
 
==Juanjun Zhao ==
−
==Willem Paul de Roever ==
+
<pre>
 +
</pre>

Revision as of 17:40, 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 "Edit". You will find yourself in Wiki edit mode.
  • Enter your address, starting each line with a space (so that

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
CHECKED

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




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




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







Retrieved from "https://dev.eiffel.com/index.php?title=VSTTE_address_check&oldid=11327"