General Chair

Moshe Y. Vardi
Rice University
vardi@cs.rice.edu

Publicity Chair

Douglas J. Howe
Bell Labs

Organization

Moshe Y. Vardi (General Chair)
Amy Felty (CADE Representative)
Rajeev Alur (CAV Representative)
Jon G. Riecke (Chair of Organizing Committee) (LICS Representative)
Leo Bachmair (RTA Representative)
Douglas J. Howe (Publicity Chair)
Stephen R. Mahaney
Priscilla Rasmussen (Site Arrangements)