| Saddek Bensalem |
VERIMAG Laboratory, France |
| Rance Cleaveland |
State University of New York at Stony Brook, USA |
| Michael Ernst |
Massachusetts Institute of Technology, USA |
| Patrice Godefroid |
Bell Laboratories, USA |
| Gerard Holzmann |
Bell Laboratories, USA |
| Jim Larus |
Microsoft Research, USA |
| Insup Lee |
University of Pennsylvania, USA |
| John Rushby |
SRI International, USA |
| Joseph Sifakis |
VERIMAG Laboratory, France |
| Reid Simmons |
Carnegie Mellon University, USA |
|
Olog Sokolsky |
University of Pennsylvania, USA |
|
| The two organizers will also referee papers: |
| Klaus Havelund |
NASA Ames Research Center/Kestrel Technology, USA |
| Grigore Rosu |
NASA Ames Research Center/RIACS, USA |
