Steering Committee

Klaus Havelund	Kestrel Technology
Gerard Holzmann	NASA Jet Propulsion Laboratory
Insup Lee	University of Pennsylvania
Grigore Rosu	University of Illinois, Urbana-Champaign

Organizers

Howard Barringer	The University of Manchester
Bernd Finkbeiner	Universität des Saarlandes
Yuri Gurevich	Microsoft Research
Henny Sipma	Stanford University