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

• AKPAH, MARTIN ESINAM -- GLADYMANUEL TRADING ENTERPRISE
• Amla, Nina -- Cadence Design Systems
• ANKRAH, KWEKU -- ASTI AGENCIES LTD.
• Aoshima, Takenobu -- Graduate School of Information Science and Engineering, Department of Computer Science,Tokyo Institute of Technology
• Appiah kubi, Eric -- Ericus computer Training
• ASABERE, OBENG ADU ASABERE -- PAD CONPUTER TRAINING SCHOOL
• Asteroth, Alexander -- Universität Bonn
• Ataru, Nakagawa -- SRA/KTL
• Baier, Christel -- Universitaet Bonn
• BOADU COLLINS, ADJEI -- I.P.S
• Bozga, Dorel Marius -- VERIMAG
• BRES, Yannis -- CMA-EMP/INRIA
• Bultan, Tevfik -- University of California, Santa Barbara
• Burch, Jerry -- Cadence Berkeley Labs
• Chen, Yijia -- France Telecom R&D
• Ciardo, Gianfranco -- William and Mary
• Ciesinski, Frank -- University of Bonn
• Cook, Byron -- Prover Technology
• COUSOT, Patrick -- École normale supérieure
• Dapaah, Shadrach -- Road Runners Computer Training
• de Alfaro, Luca -- UC Santa Cruz
• Eisner, Cindy -- IBM
• Etessami, Kousha -- Lucent Technologies, Bell Laboratories
• FANTECHI, Alessandro -- DSI - Univ. di Firenze
• Fedeli, Andrea -- STMicroelectronics
• Finkel, Alain -- LSV
• Fisman, Dana -- The Weizmann Institute of Science
• Gerth, Rob -- Intel corp
• Gopalakrishnan, Ganesh -- University of Utah
• GRAF, Susanne -- VERIMAG
• Groce, Alex -- Carnegie Mellon University
• Heljanko, Keijo -- Helsinki Univ. of Technology
• Helke, Steffen -- Technical University of Berlin
• Jackson, Paul -- University of Edinburgh
• Jin Hyun, Kim -- Korea University
• Jones, Robert -- Intel Corp.
• Kesten, Yonit -- Ben-Gurion University
• Khurshid, Sarfraz -- Massachusetts Institute of Technology
• KODAMBALLI, Shashidhar -- IMEC
• Larsen, Ulrik -- Aalborg University, Denmark
• Leroux, Jerome -- LSV
• Levin, Vladimir -- Lucent Technologies
• Naumann, David -- Stevens Institute of Technology
• Nowak, David -- Oxford University Computing Laboratory
• Pace, Gordon -- Verimag
• Parashkevov, Atanas -- Motorola Inc
• Rajamani, Sriram -- Microsoft Research
• Ravi, Kavita -- Cadence Design Systems
• Rehof, Jakob -- Microsoft Research
• Schmidt, David -- Kansas State University
• Schuppan, Viktor -- Computer Systems Institute, ETH Zürich
• SOSI, DAVID -- P.C.T.S
• Stoller, Scott -- State University of New York at Stony Brook
• Van Campenhout, David -- Verisity Design
• Velev, Miroslav -- Carnegie Mellon University
• Visser, Willem -- RIACS/NASA Ames
• Williams, Alan -- University of Manchester
• Winter, Kirsten -- Software Verification Research Centre

58 participants at Tue Jul 31 7:9:1