Steering Committee
Klaus Havelund NASA Ames Research Center - Kestrel Technology Gerard Holzmann NASA Jet Propulsion Laboratory Insup Lee University of Pennsylvania Grigore Rosu University of Illinois, Urbana-Champaign
Organizers
Klaus Havelund NASA Ames Research Center - Kestrel Technology havelund@email.arc.nasa.gov Grigore Rosu University of Illinois, Urbana-Champaign grosu@cs.uiuc.edu