Here is the list of WRTV participants that registred through CAV01 web site.

• Akhavan, Anahita -- Verimag
• AKPAH, MARTIN ESINAM -- GLADYMANUEL TRADING ENTERPRISE
• Artho, Cyrille -- ETH Zurich, http://www.ethz.ch/
• ASABERE, OBENG ADU ASABERE -- PAD CONPUTER TRAINING SCHOOL
• BOADU COLLINS, ADJEI -- I.P.S
• Christensen, Anders Bo -- Aalborg University, Denmark
• COUSOT, Patrick -- École normale supérieure
• Finkbeiner, Bernd -- Stanford University
• Geada, Joao -- Synopsys, Incorporated
• Geilen, Marc -- Eindhoven University of Technology
• Gerth, Rob -- Intel corp
• Godskesen, Jens Chr. -- IT University of Copenhagen
• Gottely, Laurent -- France Télécom R&D
• Havelund, Klaus -- Kestrel Technology/NASA Ames Research Center
• Hoenicke, Jochen -- University of Oldenburg
• Larsen, Kim -- BRICS, Aalborg University
• Möller, Michael -- University of Oldenburg
• Oleinic, Alexandru -- SA "Agrofortus"
• Povlsen, Daniel -- Aalborg University, Denmark
• Roach, Steve -- University of Texas at El Paso
• Rosu, Grigore -- NASA Ames Research Center - RIACS
• Shanbhag, Vivek K. -- Indian Institute of Science
• SIFAKIS, Joseph -- LABORATOIRE VERIMAG - UMR 5104
• Sokolsky, Oleg -- University of Pennsylvania
• SOSI, DAVID -- P.C.T.S
• Weil, Daniel -- France Telecom R&D
• Yovine, Sergio -- VERIMAG

27 participants at Tue Jul 31 7:9:1