Rajeev Alur	Henrik Reif Andersen	Gerard Berry
Randy Bryant	Jerry Burch	Ching-Tsun Chou
Edmund Clarke	Hubert Comon	David Dill
E. Allen Emerson	Alain Finkel	Patrice Godefroid
Orna Grumberg	Somesh Jha	Bengt Jonsson
Robert P. Kurshan	Kim G. Larsen	Ken Mc Millan
Kedar S. Namjoshi	Christine Paulin-Mohring	Carl Pixley
Amir Pnueli	Kavita Ravi	Natarajan Shankar
Mary Sheeran	Tom Shiple	Joseph Sifakis
A. Prasad Sistla	Fabio Somenzi	Yaron Wolfsthal