|
|
| (4 intermediate revisions by 2 users 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
| | </pre> |
| Naval Research Laboratory
| | |
| Washington, DC 20375
| | |
| USA
| | ==Mike Hinchey == |
| | <pre> |
| | |
| </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 313: |
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 406: |
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 470: |
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
| | </pre> |
| Universitaet des Saarlandes
| | |
| 66123 Saarbruecken
| | ==Amir Pnueli == |
| Germany
| | <pre> |
| | |
| </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> |
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