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

• ADJETEY, SAMUEL -- STREET LIFE B. CENTER
• AKPAH, MARTIN ESINAM -- GLADYMANUEL TRADING ENTERPRISE
• Balbiani, Philippe -- Institut de recherche en informatique de Toulouse
• Bertot, Yves -- INRIA Sophia Antipolis
• BIDOIT, Michel -- LSV - CNRS & ENS de Cachan
• BOADU COLLINS, ADJEI -- I.P.S
• BOISSEAU, Alexandre -- LSV - ENS Cachan
• Borrione, Dominique -- Université Joseph Fourier
• BOZGA, Liana -- Verimag
• Comon, Hubert -- LSV, Cachan
• Cortier, Veronique -- LSV, ENS de Cachan, CNRS
• COTTIN, Jean-Marie -- University of Tokyo
• DEMRI, Stephane -- LSV - ENS de Cachan
• Fink, David -- University of Texas at Austin
• Gerth, Rob -- Intel corp
• Goubault-Larrecq, Jean -- ENS Cachan
• LASSAIGNE, Richard -- Equipe de Logique University Paris 7
• Massacci, Fabio -- Universita' di Siena
• Monniaux, David -- Ecole Normale Superieure
• Naumann, David -- Stevens Institute of Technology
• OEHL, Frédéric -- Dublin City University
• roger, muriel -- LSV
• Romaniuc , Vasile -- SA "Agrofortus"
• Sinclair, David -- Dublin City University
• SOSI, DAVID -- P.C.T.S
• Yonezaki, Naoki -- Tokyo Institute of Technology

26 participants at Tue Jul 31 7:9:1