Difference between revisions of "VSTTE checked addresses"

(Gary T. Leavens)
 
Line 210: Line 210:
 
==Gary T. Leavens ==
 
==Gary T. Leavens ==
 
<pre>
 
<pre>
Gary T. Leavens
 
  
 
</pre>
 
</pre>

Latest revision as of 02: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