Organizers
Serdar Tasiran Koc University stasiran@ku.edu.tr Oleg Sokolsky University of Pennsylvania sokolsky@cis.upenn.edu
Steering Committee
Klaus Havelund NASA Jet Propulsion Laboratory Gerard Holzmann NASA Jet Propulsion Laboratory Insup Lee University of Pennsylvania Grigore Rosu University of Illinois, Urbana-Champaign