Rajeev Alur Mark A. Ardis John A. Chaves Lalita Jategaonkar Jagadeesan Joseph J. Kott Peter Mataga Carlos Puchol Mark G. Staskauskas