Steering Committee
Chair Persons
- Rajeev Alur (U. Penn and Bell Labs)
- Henrik Reif Andersen (ITU Copenhagen)
- Gerard Berry, co-chair (Esterel Technologies)
- Randy Bryant (CMU)
- Jerry Burch (Cadence)
- Ching Tsun Chou (Intel)
- Ed Clarke (CMU)
- Hubert Comon, co-chair (LSV & Stanford)
- David Dill (Stanford)
- E. Allen Emerson, (U. Texas-Austin)
- Alain Finkel, co-chair (LSV)
- Patrice Godefroid (Bell Labs)
- Orna Grumberg (Technion, Israel)
- Somesh Jha (U. Wisconsin)
- Bengt Jonsson (Uppsala)
- Robert Kurshan (Bell Labs)
- Kim Larsen (Aalborg)
- Ken McMillan (Cadence)
- Kedar Namjoshi (Bell Labs)
- Christine Paulin-Mohring (U. Paris Sud)
- Carl Pixley (Motorola)
- Kavita Ravi (Cadence)
- Natarajan Shankar (SRI)
- Mary Sheeran (Chalmers & Prover Technology)
- Tom Shiple (Synopsys)
- A. Prasad Sistla (U. Illinois-Chicago)
- Fabio Somenzi (U. Colorado)
- Yaron Wolfsthal (IBM)
Organizing Committee
For any information, please contact org-cav01@lsv.ens-cachan.fr.
Last modified on 19th April 2001 - cav01@lsv.ens-cachan.fr